Changes in BoundedOrd.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/BoundedOrd.hascasl en Copyright 2005 Java added a fix for ticket #412 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8513 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/BoundedOrd.hascasl - 5334aa8fe0b0d1eb8a1cad40b741aa07172773c9 Christian Maeder <Christian.Maeder@dfki.de> allowed kinds without variances if kind is known (ticket #363) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8172 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/BoundedOrd.hascasl - 6b7d53eb1a93b9a9d7e3ce48964128fcd142fe53 Christian Maeder <Christian.Maeder@dfki.de> more cases git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8080 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/BoundedOrd.hascasl - 4ea69d9a971bbb8b4082bcd60350fdabd5411c23 Christian Maeder <Christian.Maeder@dfki.de> test cases from the overview git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8066 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/BoundedOrd.hascasl - 2083784cdbe448a3d8f94c7a0a0a011bbabf3fd0 Christian Maeder <Christian.Maeder@dfki.de>