| 91cf66b5643f3539dc4155bbcc4ac34c2a4857f4 |
|
31-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted renaming
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16064 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d50927e6f3214849a363476e536e738ea9265d13 |
|
27-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
include abbreviated syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15737 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d7db9d1741d9e292b217161f8fbbad8368625c04 |
|
27-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
abbreviated abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15734 cec4b9c1-7d33-0410-9eda-942365e851bb |