History log of /hets/CASL/test/WrongMixfixFormula.casl
Revision Date Author Comments Expand
b1c32a0faa63e0c13687f36a2faae5969ec0a9d5 02-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

only consider real CASL mixfix identifiers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5333 cec4b9c1-7d33-0410-9eda-942365e851bb
e1997b6204d2de9f4f496c2db72b5e754c66a3cb 20-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

improved filtering for predicates git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1426 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