History log of /hets/HasCASL/test/ClassKinds.hascasl
Revision Date Author Comments Expand
4b4878eecbc17323118d252d64df72faf21cd5ba 19-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

extended examples git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10525 cec4b9c1-7d33-0410-9eda-942365e851bb
ab3ca4cacfada3a19ab024db7ad567b82fa1517d 18-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

more tests git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10518 cec4b9c1-7d33-0410-9eda-942365e851bb