| cd7f8dcaf8d41a0565949d55c25827d9768129ef |
|
13-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
add more stuff (including integer patterns that currently fail)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3669 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5be58449b04eff9e82fb61f4ede95d68ba9341b0 |
|
03-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
wrong showArgument line caused deriving Show error
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3604 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 086c2ae737a3542e382be220c7cef3469ffb8d22 |
|
21-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
Prelude subset
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3590 cec4b9c1-7d33-0410-9eda-942365e851bb |