History log of /hets/CASL/test/MixfixTerms.casl
Revision Date Author Comments Expand
62198789c7cb57cac13399055515921c0fe3483f 28-Jul-2003 Christian Maeder <Christian.Maeder@dfki.de>

corrected prefix application with brackets, changed error positions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1603 cec4b9c1-7d33-0410-9eda-942365e851bb
1012fdd997ea1f35eee2ccdd4015199f09f18fe9 24-Jul-2003 Christian Maeder <Christian.Maeder@dfki.de>

completed new CASL mixfix analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1597 cec4b9c1-7d33-0410-9eda-942365e851bb
accab0bf9b8aa690d70174f41fe94370323959b9 16-May-2003 Christian Maeder <Christian.Maeder@dfki.de>

removed unnecessary parenthesis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1404 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