Changes in ContraVariance.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/ContraVariance.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/ContraVariance.hascasl - a9ac4d0904b5547e612f9a394b24666c1ea02ccb Christian Maeder <Christian.Maeder@dfki.de> ignore variance when none is expected git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8098 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/ContraVariance.hascasl - 7c35990c03276d1e675ea6f4ba38f47081620d77 Christian Maeder <Christian.Maeder@dfki.de> separated mkTypeConstrAppl and cleaned up git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4632 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/ContraVariance.hascasl - 14a1af9d9909dc47dc7fee6b0170b7ac0aef85da Christian Maeder <Christian.Maeder@dfki.de> moved variance sign to front of kind git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4544 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/ContraVariance.hascasl - bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2 Christian Maeder <Christian.Maeder@dfki.de> kind inference is wrong git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4542 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/ContraVariance.hascasl - f4d2adb22998bc523bfecc5295460d8b9fa6ea16 Christian Maeder <Christian.Maeder@dfki.de>