History log of /hets/HasCASL/test/Constrain.hascasl
Revision Date Author Comments Expand
ad97909f160c13effd3bc73155aaa2c29902a5a1 02-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

added constraint resolution git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2917 cec4b9c1-7d33-0410-9eda-942365e851bb