7 Commits

Author	SHA1	Message	Date
ra.monique	33118ad9d6	fixed SUMOEng with open instead of import for the Extension module	2010-11-28 19:38:56 +00:00
krasimir	009c5d6889	remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFre	2010-09-17 15:53:58 +00:00
krasimir	2bc50e6536	solve the ambiguity for double negation in SUMO	2010-07-13 11:43:24 +00:00
krasimir	db3eb23d5f	SUMO: remove the uggly SubClassC and use KappaFn instead	2010-06-06 11:44:51 +00:00
krasimir	8c9b63236f	changes in SUMO: formatting and fixes for lots of lots of small problems	2010-06-06 11:06:44 +00:00
krasimir	897682d952	replace SS with StmtS in SUMO	2010-02-17 12:38:11 +00:00
krasimir	06654cbb5e	added examples/SUMO	2010-02-17 11:07:24 +00:00