| 0c4da1aef47757166486f7aa0b037ffa30b840cd |
|
10-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
cleaned CL code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16779 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 123c74ceb5c4d3f364323a015ecef3eaf0ab67d5 |
|
10-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added parser for CL-prefixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16778 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 31804b96414c67cb550fbf38fde4622778046c6f |
|
21-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
cl2casl and cl2caslCompact are preceded by module elimination
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16352 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 21b2c993ba4467ad14509265270ad71ef59c4064 |
|
11-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added some testdata
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16252 cec4b9c1-7d33-0410-9eda-942365e851bb |