History log of /hets/HasCASL/test/B1.hascasl
Revision Date Author Comments Expand
3657e87cf383e7f8ca9425111d3eedb4f5fd49da 30-Jun-2009 Christian Maeder <Christian.Maeder@dfki.de>

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

9b3f1a9c8994dc5a964d53de628f650317fa6d6f 04-Jul-2008 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

7c01d95140a3bb5f554927dc2a398db0f4f90601 06-Jul-2005 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

c18e9c3c6d5039618f1f2c05526ece84c7794ea3 25-Sep-2003 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/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/ClassDecl.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/HToken.hs /hets/HasCASL/Le.hs /hets/HasCASL/Merge.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs B1.hascasl B1.hascasl.output BasicSpec.hascasl BasicSpec.hascasl.output BasicSpec.hascasl.parser.output Items.hascasl.output PlainTypes.hascasl.output PossibleDownsetConflict.hascasl PossibleDownsetConflict.hascasl.output Prelude.hascasl.output SuperClassErrors.hascasl SuperClassErrors.hascasl.output SuperClassWarnings.hascasl SuperClassWarnings.hascasl.output WrongItems.hascasl.output WrongKinds.hascasl.output WrongTerms.hascasl.output XInternal.hascasl XInternal.hascasl.output
d67a0dfffeb04713ec069870109a732a94fae779 14-Jan-2003 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