Changes in Alias.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/Alias.hascasl en Copyright 2005 Java disallowed explicit pseudo type notation following := (assign) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11877 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Alias.hascasl - a9ac4d0904b5547e612f9a394b24666c1ea02ccb Christian Maeder <Christian.Maeder@dfki.de> corrected examples from overview git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8578 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Alias.hascasl - b640fb89ee46f63ae66111c0a12c0ff39e9daf20 Christian Maeder <Christian.Maeder@dfki.de> changed RawKind to Kind for pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7447 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Alias.hascasl - a0e24c863b78669b05797ff8ce635995a9bede44 Christian Maeder <Christian.Maeder@dfki.de> checked monomorphic data type recursion and cyclic type synonyms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1825 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Alias.hascasl - 33a5d53a412ba0a4e5847f7538d6da2e22bd116c Christian Maeder <Christian.Maeder@dfki.de> treat alias defs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1811 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Alias.hascasl - 14f86b92900f3248952c94e980db715802433cdb Christian Maeder <Christian.Maeder@dfki.de> changed patterns and analysed case expressions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1634 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/Alias.hascasl - 6f6c328eca52553e8c921565950fdddadc799bf7 Christian Maeder <Christian.Maeder@dfki.de>