History log of /hets/CASL/test/X4.casl
Revision Date Author Comments Expand
68b065341b3426cd3ecbdc31c0186090000ae4b6 19-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

warn on identifier overlap, check variable's sort git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4947 cec4b9c1-7d33-0410-9eda-942365e851bb

f92a9a33e08d620a0ac77dbcd22282c379047f59 16-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

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