| e7eca8a3a157f8dea74515ba1f339d02ae4d9e81 |
|
16-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed myLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4442 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c5e26787b63c42ea590c3ad5fcc55b0d04fe923f |
|
10-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added bottom
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2842 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ad0b6d89fd72f0db461bfa6b43699157b6d2daf7 |
|
02-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
translated Unit to Bool and checked for illegal Haskell names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2803 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fb667d2827149910130c66dc44c74024252a8fbf |
|
27-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Show
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2730 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 392bafc19be70ac04e4eaeaf4be1fed6e800019a |
|
26-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed for solaris
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2727 cec4b9c1-7d33-0410-9eda-942365e851bb |
| bada0c99c6398c209ec9c6a9f5b316b7b5c99b33 |
|
26-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
test case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2703 cec4b9c1-7d33-0410-9eda-942365e851bb |