Changes in CompoundList.hascasl http://src.iws.cs.ovgu.de/source/rss/hets/HasCASL/test/CompoundList.hascasl en Copyright 2005 Java made '?' low binding prefix type constructor and : even lower binding kind annotation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8604 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/CompoundList.hascasl - 99f16a0f9ca757410960ff51a79b034503384fe2 Christian Maeder <Christian.Maeder@dfki.de> better recognize compound lists in type terms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8587 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/test/CompoundList.hascasl - 0a39036fa485579a7b7c81cdd44a412392571927 Christian Maeder <Christian.Maeder@dfki.de>