Changes in Double.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/Double.hascasl en Copyright 2005 Java works now git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4775 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Double.hascasl - 01996e191c1a9a2251abf7740124b73bde771472 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 /hets/HasCASL/test/Double.hascasl - c81507d35d11b2eedf7425a3bb52bceec3224532 Christian Maeder <Christian.Maeder@dfki.de>