Cross Reference: /hets/ToHaskell/test/BoolEx.hascasl

History log of /hets/ToHaskell/test/BoolEx.hascasl
Revision		Date	Author	Comments Expand
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33		26-May-2004	Christian Maeder <Christian.Maeder@dfki.de>	test case git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2703 cec4b9c1-7d33-0410-9eda-942365e851bb BoolEx.hascasl BoolEx.hascasl.hs Expr.hascasl ListEx.hascasl ListEx.hascasl.hs Makefile NatEx.hascasl NatEx.hascasl.hs OpDecls.hascasl.hs PatternEq.hascasl Test.hascasl Test.hascasl.hs runcheck.sh