History log of /hets/CommonLogic/TestData/import_monoid.clif
Revision Date Author Comments Expand
b08b535a2b3b47bff775998577bbd47d51ed3a1d 11-Oct-2011 Eugen Kuksa <eugenk@informatik.uni-bremen.de>

added import-example to TestData git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16250 cec4b9c1-7d33-0410-9eda-942365e851bb