Changes in B1.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/B1.hascasl en Copyright 2005 Java adjusted properties git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11852 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/B1.hascasl - 3657e87cf383e7f8ca9425111d3eedb4f5fd49da Christian Maeder <Christian.Maeder@dfki.de> only allow &lt; in class-decls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10262 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/B1.hascasl - 9b3f1a9c8994dc5a964d53de628f650317fa6d6f Christian Maeder <Christian.Maeder@dfki.de> removed intersection and downset kinds git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4566 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/B1.hascasl - 7c01d95140a3bb5f554927dc2a398db0f4f90601 Christian Maeder <Christian.Maeder@dfki.de> merge raw-kinds branch with main trunk git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1727 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/B1.hascasl - c18e9c3c6d5039618f1f2c05526ece84c7794ea3 Christian Maeder <Christian.Maeder@dfki.de> testing static analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@751 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/B1.hascasl - d67a0dfffeb04713ec069870109a732a94fae779 Christian Maeder <Christian.Maeder@dfki.de>