| a9ac4d0904b5547e612f9a394b24666c1ea02ccb |
|
03-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
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 |
| b640fb89ee46f63ae66111c0a12c0ff39e9daf20 |
|
10-Aug-2007 |
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 |
| a0e24c863b78669b05797ff8ce635995a9bede44 |
|
15-Feb-2007 |
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 |
| 33a5d53a412ba0a4e5847f7538d6da2e22bd116c |
|
10-Nov-2003 |
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 |
| 14f86b92900f3248952c94e980db715802433cdb |
|
30-Oct-2003 |
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 |
| 6f6c328eca52553e8c921565950fdddadc799bf7 |
|
30-Jul-2003 |
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 |