| 895a60f3f11b5f1210f146324e9ffe5e1b9c211f |
|
22-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added test scripts and expected isabelle output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5556 cec4b9c1-7d33-0410-9eda-942365e851bb |