Cross Reference: /hets/CASL/test/X2.casl

History log of /hets/CASL/test/X2.casl
Revision		Date	Author	Comments Expand
f92a9a33e08d620a0ac77dbcd22282c379047f59		16-Mar-2005	Christian Maeder <Christian.Maeder@dfki.de>	added test cases git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3958 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CASL/RunStaticAna.hs BasicSpec.sentences.output X1.casl X1.casl.output X2.casl X2.casl.output X3.casl X3.casl.output X4.casl X4.casl.output XTest.casl.output runcheck.sh