Searched +path:casl +path:test (Results 1 - 25 of 82) sorted by relevance

1234

/hets/CASL/test/
H A DMakefile
H A DBasicSpec.casl
H A DFormula.casl
H A DMixfixFormula.casl
H A DMixfixTerms.casl
H A DOpItem.casl
H A DPredItem.casl
H A DSortItem.casl
H A DTerms.casl
H A DWrongBasicSpec.casl
H A DWrongFormula.casl
H A DWrongMixfixFormula.casl
H A DWrongMixfixTerms.casl
H A DWrongOpItem.casl
H A DWrongPredItem.casl
H A DWrongSortItem.casl
H A DWrongTerms.casl
H A DX1.casl
H A DX2.casl
H A DX3.casl
H A DX4.casl
H A DXGenType.casl
H A DXOver1.casl
H A DXSorts.casl
H A DXTest.casl

Completed in 973 milliseconds

1234