Changes in Expr.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/Expr.hascasl en Copyright 2005 Java added assertions and inserted inferred types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3361 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Expr.hascasl - cf1821d1617c189cc24428cfa654d3975f73755f Christian Maeder <Christian.Maeder@dfki.de> added constants true and false git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1854 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Expr.hascasl - 887ec32ced6dc5d704e24a10568407ff7eefa503 Christian Maeder <Christian.Maeder@dfki.de> new expressions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1594 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Expr.hascasl - 6aced3cb4c811010d876143f92fca7af32cf1c23 Christian Maeder <Christian.Maeder@dfki.de> changed examples git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1540 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Expr.hascasl - 077134553676bd8d6ad24dfa3622a30049cac9d7 Christian Maeder <Christian.Maeder@dfki.de> added let expression git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1533 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Expr.hascasl - 9e72bdb099564f9e5f51a069f05efba14bdbe2d7 Christian Maeder <Christian.Maeder@dfki.de> a case test case git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1532 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Expr.hascasl - 1462186f844d3b541ab1542336e57586df486b51 Christian Maeder <Christian.Maeder@dfki.de>