| a20d357b3b83fcd469b0afc35313ba7717088c85 |
|
10-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12453 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fe7499000ef2ec6cff19fdcb7e96827ba5368bb0 |
|
10-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
nested instantiation with compound identifier
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12452 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7f0d18ec8ab7ca3b0f7abd11199e45073026e329 |
|
10-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
example for parameterized view
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12446 cec4b9c1-7d33-0410-9eda-942365e851bb |