| df29370ae8d8b41587957f6bcdcb43a3f1927e47 |
|
20-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved h2h and h2hf from ToHaskell to Haskell
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6074 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d16796d2e67b21942cb8869a2bd7727b0c49f602 |
|
06-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
programatica test cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3630 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 |
| 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 |