Commit Graph

5 Commits

Author SHA1 Message Date
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