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

History log of /hets/HasCASL/test/CMonad.hascasl
Revision	Date	Author	Comments Expand
9b3f1a9c8994dc5a964d53de628f650317fa6d6f	04-Jul-2008	Christian Maeder <Christian.Maeder@dfki.de>	only allow < in class-decls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10262 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/ParseItem.hs B1.hascasl BasicSpec.hascasl CMonad.hascasl FunctorMonadTransformer.hascasl Items.hascasl OpWithInst.hascasl SuperClassErrors.hascasl WrongItems.hascasl WrongItems.hascasl.output
c6456fd6e9cc28e09be25058d38fd41cc49a87e9	25-Oct-2004	Christian Maeder <Christian.Maeder@dfki.de>	included lazy type check git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3323 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/HasCASL/TypeCheck.hs AsPattern.hascasl.output BasicSpec.hascasl.output CMonad.hascasl CMonad.hascasl.output Constrain.hascasl.output Graphs.hascasl.output Lazy.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output XInternal.hascasl.output XUnion.hascasl.output
4f759b699e41703e06e6ce522072aa3210953561	02-Aug-2004	Christian Maeder <Christian.Maeder@dfki.de>	Monad class constraint git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3001 cec4b9c1-7d33-0410-9eda-942365e851bb CMonad.hascasl CMonad.hascasl.output