bdbe06eab641ea31682220252b728d421e4c028e |
|
14-Jun-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
CommonLogic: added DiscourseItems to Sign, added Sublogic.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15116 cec4b9c1-7d33-0410-9eda-942365e851bb |