Changes in Spec.het http://src.iws.cs.ovgu.de/source/rss/hets/Static/test/Spec.het en Copyright 2005 Java added theorem modification git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14098 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Static/test/Spec.het - b75ad7b45e09e8f998d0fc5a91dc14578fc8eabf Christian Maeder <Christian.Maeder@dfki.de> single node tests git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14070 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/Static/test/Spec.het - 48c29e3b5ebe94aafb40fe57ac185eea74942eb4 Christian Maeder <Christian.Maeder@dfki.de>