History log of /hets/HasCASL/test/Double.hascasl
Revision Date Author Comments Expand
01996e191c1a9a2251abf7740124b73bde771472 25-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

works now git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4775 cec4b9c1-7d33-0410-9eda-942365e851bb
c81507d35d11b2eedf7425a3bb52bceec3224532 30-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

added twice example from overview git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4537 cec4b9c1-7d33-0410-9eda-942365e851bb