History log of /hets/Static/test/Spec.het
Revision Date Author Comments Expand
b75ad7b45e09e8f998d0fc5a91dc14578fc8eabf 27-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

added theorem modification git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14098 cec4b9c1-7d33-0410-9eda-942365e851bb
48c29e3b5ebe94aafb40fe57ac185eea74942eb4 14-Sep-2010 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