Changes in CTree.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/CTree.hascasl en Copyright 2005 Java added fold definition for branch git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10528 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/CTree.hascasl - 4dd227b3f9c659b37083476347d01e2fdd0c71db 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 /hets/HasCASL/test/CTree.hascasl - 1256a6994be0c94373a47f8b30747727b24c27fa 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 /hets/HasCASL/test/CTree.hascasl - 20921b0900acb7e19a778e4b309a7e6d6c305e5e 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 /hets/HasCASL/test/CTree.hascasl - 453c9b0df0380abe5abb38db3b15530bd3b3dcf5 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 /hets/HasCASL/test/CTree.hascasl - 304c84f22dd78f7979efd81b8fc38c8d2197ed39 Christian Maeder <Christian.Maeder@dfki.de>