| 4dd227b3f9c659b37083476347d01e2fdd0c71db |
|
19-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added fold definition for branch
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10528 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 1256a6994be0c94373a47f8b30747727b24c27fa |
|
19-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added induction axioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10526 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 20921b0900acb7e19a778e4b309a7e6d6c305e5e |
|
27-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
CASL notation for lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8157 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 453c9b0df0380abe5abb38db3b15530bd3b3dcf5 |
|
25-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended type examples of overview
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8142 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 304c84f22dd78f7979efd81b8fc38c8d2197ed39 |
|
14-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
better extracted the place of wrong polymorphic recursion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7434 cec4b9c1-7d33-0410-9eda-942365e851bb |