| cf1821d1617c189cc24428cfa654d3975f73755f |
|
01-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added assertions and inserted inferred types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3361 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 887ec32ced6dc5d704e24a10568407ff7eefa503 |
|
20-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added constants true and false
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1854 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6aced3cb4c811010d876143f92fca7af32cf1c23 |
|
24-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
new expressions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1594 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 077134553676bd8d6ad24dfa3622a30049cac9d7 |
|
01-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed examples
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1540 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9e72bdb099564f9e5f51a069f05efba14bdbe2d7 |
|
30-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added let expression
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1533 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1462186f844d3b541ab1542336e57586df486b51 |
|
30-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
a case test case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1532 cec4b9c1-7d33-0410-9eda-942365e851bb |