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

History log of /hets/ToHaskell/test/Expr.hascasl
Revision	Date	Author	Comments Expand
fd34bc2f8ca5771483b80058932a365b254fcb29	31-Jan-2005	Christian Maeder <Christian.Maeder@dfki.de>	extended Prelude git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3744 cec4b9c1-7d33-0410-9eda-942365e851bb BoolEx.hascasl.hs Expr.hascasl Expr.hascasl.hs FiniteSet.hascasl.hs Foldl.hascasl.hs ListEx.hascasl.hs NatEx.hascasl.hs OpDecls.hascasl.hs Pair.hascasl.hs PatternEq.hascasl.hs Sorting.hascasl.hs Test.hascasl.hs
962c5fa4000a34bd6b1bf5edd25b0b73dd6ebb2a	20-Oct-2004	Christian Maeder <Christian.Maeder@dfki.de>	made lambda total git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3273 cec4b9c1-7d33-0410-9eda-942365e851bb Expr.hascasl
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