Changes in ClassKinds.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/ClassKinds.hascasl en Copyright 2005 Java extended examples git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10525 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/ClassKinds.hascasl - 4b4878eecbc17323118d252d64df72faf21cd5ba 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 /hets/HasCASL/test/ClassKinds.hascasl - ab3ca4cacfada3a19ab024db7ad567b82fa1517d Christian Maeder <Christian.Maeder@dfki.de>