Cross Reference: /hets/CommonLogic/TestData/import2.het

History log of /hets/CommonLogic/TestData/import2.het
Revision		Date	Author	Comments Expand
f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30c		23-Aug-2011	Eugen Kuksa <eugenk@informatik.uni-bremen.de>	changed BASIC_SPEC to a single TEXT, fixed CL-imports for DevGraph git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16004 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CommonLogic/AS_CommonLogic.der.hs /hets/CommonLogic/Analysis.hs /hets/CommonLogic/ParseCLAsLibDefn.hs /hets/CommonLogic/Parse_CLIF.hs /hets/CommonLogic/Sublogic.hs import.clf import.clif import2.het /hets/hets.hs