History log of /hets/test/ParameterSpecTest/NestedParams.het
Revision Date Author Comments Expand
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