Cross Reference: /hets/HasCASL/test/CompoundList.hascasl

History log of /hets/HasCASL/test/CompoundList.hascasl
Revision		Date	Author	Comments Expand
99f16a0f9ca757410960ff51a79b034503384fe2		14-Aug-2007	Christian Maeder <Christian.Maeder@dfki.de>	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/HToken.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs CompoundList.hascasl CompoundList.hascasl.output MixfixTerms.casl.output Prelude.hascasl.output WrongTerms.hascasl.output WrongTypes.hascasl WrongTypes.hascasl.output
0a39036fa485579a7b7c81cdd44a412392571927		13-Aug-2007	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/AsUtils.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeMixAna.hs CompoundList.hascasl CompoundList.hascasl.output PlainTypes.hascasl.output