History log of /hets/HasCASL/test/Flag.hascasl
Revision Date Author Comments Expand
0fadccdf893d0551a8392ea0b9ad5d2f48885808 18-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

remark 21 of overview git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10511 cec4b9c1-7d33-0410-9eda-942365e851bb