History log of /hets/HasCASL/test/Classical.hascasl
Revision Date Author Comments Expand
bb5f80fa01a1783a3e84ced6fa4c4c1a74da211d 15-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

added formulas from page 10+11 of overview git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10506 cec4b9c1-7d33-0410-9eda-942365e851bb
2083784cdbe448a3d8f94c7a0a0a011bbabf3fd0 18-Jun-2007 Christian Maeder <Christian.Maeder@dfki.de>

test cases from the overview git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8066 cec4b9c1-7d33-0410-9eda-942365e851bb