History log of /hets/CASL/test/Formula.casl
Revision Date Author Comments Expand
88d75e7bf413b86d54dcb8307cb27b51c3fa494d 15-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

added implications git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6015 cec4b9c1-7d33-0410-9eda-942365e851bb
f56e4fe56fdf66d711e5fafaa71c2587dd9a066f 15-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

refined mixfix parsing for predicates git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1396 cec4b9c1-7d33-0410-9eda-942365e851bb
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca 06-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

moved CASL tests in test subdirectory git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1348 cec4b9c1-7d33-0410-9eda-942365e851bb

BasicSpec.casl BasicSpec.casl.output Formula.casl Formula.casl.asMixfixFormula.output Formula.casl.output Makefile MixIds.casl.asTerms.output MixfixFormula.casl MixfixFormula.casl.output MixfixTerms.casl MixfixTerms.casl.output OpItem.casl OpItem.casl.output PredItem.casl PredItem.casl.output SortItem.casl SortItem.casl.output Terms.casl Terms.casl.asMixfixTerms.output Terms.casl.output WrongBasicSpec.casl WrongBasicSpec.casl.output WrongFormula.casl WrongFormula.casl.output WrongMixIds.casl.asTerms.output WrongMixfixFormula.casl WrongMixfixFormula.casl.output WrongMixfixTerms.casl WrongMixfixTerms.casl.output WrongOpItem.casl WrongOpItem.casl.output WrongPredItem.casl WrongPredItem.casl.output WrongSortItem.casl WrongSortItem.casl.output WrongTerms.casl WrongTerms.casl.output XTest.casl runcheck.sh