History log of /hets/HasCASL/test/Double.hascasl.output
Revision Date Author Comments Expand
5de34eba726f63d1522bf17a857309a6208ce0b5 19-Apr-2013 Christian Maeder <Christian.Maeder@dfki.de>

changed ugly diagnostics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17886 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/Formula.casl.asMixfixFormula.output /hets/CASL/test/Terms.casl.asMixfixTerms.output /hets/CASL/test/WrongMixfixFormula.casl.output /hets/CASL/test/WrongMixfixTerms.casl.output /hets/CASL/test/X2.casl.output /hets/Common/Result.hs /hets/Common/test/Annotations.casl.global.output /hets/Common/test/WrongPrecedence.annos.global.output Alias.hascasl.output B1.hascasl.output BasicSpec.hascasl.output Binder.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output Double.hascasl.output Foldl.hascasl.output Freetype.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output Per.hascasl.output PetriSystemCategory.hascasl.output Phantom.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output StateMonad.hascasl.output Subtype.hascasl.output Subtype5.hascasl.output WrongMixfixTerms.hascasl.output XUnion.hascasl.output ZMapArgs.hascasl.output
3aa7e4492a7e28b37d1a0b23f5bfe2109f87d4d6 04-Dec-2012 Christian Maeder <Christian.Maeder@dfki.de>

changed error messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17673 cec4b9c1-7d33-0410-9eda-942365e851bb

Alias.hascasl.output And.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl.output Binder.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Classical.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output Def.hascasl.output Double.hascasl.output Flag.hascasl.output Foldl.hascasl.output Freetype.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output NAdd.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output Per.hascasl.output PetriSystemCategory.hascasl.output Phantom.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output Product.hascasl.output StateMonad.hascasl.output Subtype.hascasl.output Subtype2.hascasl.output Subtype3.hascasl.output Subtype4.hascasl.output Subtype5.hascasl.output SuperClass.hascasl.output WrongMixfixTerms.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
678e45c045799ce271c4719123ecd9cf4f456d4b 11-Feb-2010 Christian Maeder <Christian.Maeder@dfki.de>

print predicates using pred (as parsed) to improve reparsing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13062 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/PrintLe.hs And.hascasl.output AsPattern.hascasl.output BasicSpec.hascasl.output Binder.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Classical.hascasl.output CompoundList.hascasl.output Constrain.hascasl.output Coproducts.hascasl.output Double.hascasl.output Expr.hascasl.output Flag.hascasl.output Foldl.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output Lazy.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output Per.hascasl.output PetriSystemCategory.hascasl.output Phantom.hascasl.output Prelude.hascasl.output Product.hascasl.output StateMonad.hascasl.output Subtype.hascasl.output Subtype2.hascasl.output Subtype3.hascasl.output Subtype5.hascasl.output Supertype.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
e4f3c121d197ca18cd8f67deaabdddf7f6bdb7e9 07-Aug-2009 Christian Maeder <Christian.Maeder@dfki.de>

remove unnecessary downcast for OP-DEFNs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12048 cec4b9c1-7d33-0410-9eda-942365e851bb
19f89aecd7d4de32f84b79b4d7041efb8937d4e0 02-Jul-2009 Christian Maeder <Christian.Maeder@dfki.de>

use fewer variables in applications git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11869 cec4b9c1-7d33-0410-9eda-942365e851bb
c4280f2006756af8b2c102e390e5c46c9c1a612f 17-Dec-2008 Christian Maeder <Christian.Maeder@dfki.de>

output changes due to spechub/Hets@c0ef189e724dfd960074248c97fb01dfa5842a5c git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11169 cec4b9c1-7d33-0410-9eda-942365e851bb
17889a13fbcd155040fa0323ffe82393d53051fc 14-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

added Cppo class and instances (causing many more hints) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10502 cec4b9c1-7d33-0410-9eda-942365e851bb
908a6351595b57641353608c4449d5faa0d1adf8 15-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

use annotation label git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9053 cec4b9c1-7d33-0410-9eda-942365e851bb
f7663514e02f6095198371a64e574c50e6ec857a 23-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

allowed var decls as curried lambda patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8696 cec4b9c1-7d33-0410-9eda-942365e851bb
f55c7ffbcd378316d8547132be02b10c5eb4dfb2 20-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

changed output due to previous changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8656 cec4b9c1-7d33-0410-9eda-942365e851bb
e13ee09381f136f5eadaabdb9699773c0052cf3d 20-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

fully quantified formulas and improved printing of theories git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8647 cec4b9c1-7d33-0410-9eda-942365e851bb
6cb518d88084543c13aa7e56db767c14ee97ab77 17-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

changed printing to allow reparsing of theories git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8644 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs Alias.hascasl.output And.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output CastFun.hascasl.output Chain.hascasl.output Classical.hascasl.output CompoundList.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output Def.hascasl.output Double.hascasl.output EmptyLambda.hascasl.output Expr.hascasl.output Foldl.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output Lazy.hascasl.output ListEx.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output Subtype.hascasl.output SuperClassErrors.hascasl.output Supertype.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
3daa82a175c7cfabf22455aa77c4beda327404e4 13-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

treated ':?' and ': ?' identically git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8590 cec4b9c1-7d33-0410-9eda-942365e851bb
ad187062b0009820118c1b773a232e29b879a2fa 26-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

replaced by git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8488 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/Comorphisms/PCoClTyConsHOL2IsabelleHOL.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/Le.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/SimplifyTerm.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/VarDecl.hs BasicSpec.hascasl.output CMonad.hascasl.output CTree.hascasl.output Coproducts.hascasl.output Double.hascasl.output Expr.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Graphs.hascasl.output ListEx.hascasl.output Num.hascasl.output OpDecls.hascasl.output Pair.hascasl.output PetriSystemCategory.hascasl.output Prelude.hascasl.output XUnion.hascasl.output
b52ad1aed6b1eb8b8416aaf100695f54ea59aea0 02-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

added monoType to op defn git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8217 cec4b9c1-7d33-0410-9eda-942365e851bb
61f239d987841c9931644ad65cb07c87b693c091 02-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

added test for uninstantiated variables (#361), corrected substitution propagation for case-terms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8212 cec4b9c1-7d33-0410-9eda-942365e851bb
0a907ffb1de8958ba48d229e5f5039141d4499cc 26-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

changed mixfix printing in Common.Doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7544 cec4b9c1-7d33-0410-9eda-942365e851bb
2fbe4699ac5d2a8bafe8c0c8aa41e6717d36d5ce 14-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

added plural for var git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7433 cec4b9c1-7d33-0410-9eda-942365e851bb
99edc5256de959957a8c27b05ae4ad4f0572233d 12-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

make a leading bullet git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7413 cec4b9c1-7d33-0410-9eda-942365e851bb
f8a1ab8012a1f36060d6ce9b63399fa4a8a2981c 02-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

only set semicolons after a last formula git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7365 cec4b9c1-7d33-0410-9eda-942365e851bb
a59f2017dfc311ece7afcea3e8a3ceceac77ba5a 01-Feb-2007 Christian Maeder <Christian.Maeder@dfki.de>

enable re-parsing of printed basic specs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7364 cec4b9c1-7d33-0410-9eda-942365e851bb
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6de 26-Jan-2007 Christian Maeder <Christian.Maeder@dfki.de>

improved printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7350 cec4b9c1-7d33-0410-9eda-942365e851bb
2f2237571ed7885b0f1ccb2c17996e8922f3d12d 07-Aug-2006 Christian Maeder <Christian.Maeder@dfki.de>

avoided final spaces git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6780 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/test/BasicSpec.analysis.output /hets/CASL/test/BasicSpec.casl.output /hets/CASL/test/BasicSpec.sentences.output /hets/CASL/test/BasicSpec.signature.output /hets/CASL/test/MixfixTerms.casl.output /hets/CASL/test/X1.casl.output /hets/CASL/test/X2.casl.output /hets/CASL/test/X3.casl.output /hets/CASL/test/X4.casl.output /hets/CASL/test/XOver1.casl.output /hets/CASL/test/XTest.casl.output /hets/Common/Doc.hs /hets/Common/test/Annotations.casl.global.output /hets/Common/test/Annotations.casl.output /hets/Common/test/Annotations.casl.perLine.output Alias.hascasl.output BasicSpec.casl.output BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output Constrain.hascasl.output Double.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output ListEx.hascasl.output MixfixTerms.casl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output Prelude.hascasl.output SuperClassErrors.hascasl.output Terms.hascasl.output XInternal.hascasl.output XUnion.hascasl.output ZMapArgs.hascasl.output
b603f34b79bc0992e5d74f484e5bdc9f9c2346c6 22-Jun-2006 Christian Maeder <Christian.Maeder@dfki.de>

added global annos to signature for pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6487 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/AsToLe.hs /hets/HasCASL/Le.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/RunStaticAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/hacapa.hs Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.casl.output BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Double.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output Lazy.hascasl.output ListEx.hascasl.output Num.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 YCombinator.hascasl.output ZMapArgs.hascasl.output
8aea46773664711e0910accc5cf80ef9ee1bcfbf 29-May-2006 Christian Maeder <Christian.Maeder@dfki.de>

suppress output of builtins git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6393 cec4b9c1-7d33-0410-9eda-942365e851bb
5a13581acc5a76d392c1dec01657bb3efd4dcf2d 07-Apr-2006 Christian Maeder <Christian.Maeder@dfki.de>

switched to Common.Doc.Pretty git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6181 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/Logic_HasCASL.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/MixPrint.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs Alias.hascasl.output AsPattern.hascasl.output BasicSpec.casl.output BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output Constrain.hascasl.output Double.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output MixfixTerms.hascasl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output Prelude.hascasl.output Terms.hascasl.output WrongMixfixTerms.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
5dca8f36562463e6f691d4d50efe5716d5299801 21-Dec-2005 Christian Maeder <Christian.Maeder@dfki.de>

replaced __* by ### git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5554 cec4b9c1-7d33-0410-9eda-942365e851bb
dcb9ff0e2c2379735acce7073196508d455e0b01 04-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed HasCASL mixfix analysis for patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5346 cec4b9c1-7d33-0410-9eda-942365e851bb
9df7943e174665a367e75714d54b352a3760dd58 28-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

corrected rmTypeRec and convTermRec git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5102 cec4b9c1-7d33-0410-9eda-942365e851bb
c7041924e85535e80c7c08699cb308071d7010be 28-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

separate conversion and removing type annotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5099 cec4b9c1-7d33-0410-9eda-942365e851bb
13662e09b8bb8d3e849e81a3c5ec339618fc95ce 27-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

labels are not output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5085 cec4b9c1-7d33-0410-9eda-942365e851bb
b55cf4375478168316b212cbc7d261fb683645ff 26-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

fewer parens git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5077 cec4b9c1-7d33-0410-9eda-942365e851bb
699511266869036921be9c7ae6ac83d1b66ba51d 23-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

improve (still not optimal) mixfix and literal printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5069 cec4b9c1-7d33-0410-9eda-942365e851bb
96646aed2ae087b942ae23f15bbe729a8f7c43d3 20-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed LIB_PATH and used PERL for haddock on solaris git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5030 cec4b9c1-7d33-0410-9eda-942365e851bb
af47051acb16b97b6bc0ff7295cae44eed87d63e 14-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

simplified unique vars and ops git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5015 cec4b9c1-7d33-0410-9eda-942365e851bb
2986838ec286d67e7c199e7ea81e7364ca36ad25 24-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

improved look of types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4976 cec4b9c1-7d33-0410-9eda-942365e851bb
d48085f765fca838c1d972d2123601997174583d 23-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed FunType, ProductType and LazyType in favour of TypeAppls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4967 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Le.hs /hets/HasCASL/MinType.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/RunMixfixParser.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeMixAna.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/doc/Todo Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Double.hascasl.output EmptyLambda.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl Graphs.hascasl.output Items.hascasl.output Lazy.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output SuperClassErrors.hascasl.output Terms.hascasl.output WrongMixfixTerms.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl.output ZMapArgs.hascasl.output
975642b989852fc24119c59cf40bc1af653608ff 11-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

redesigned subtypes and their defns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4902 cec4b9c1-7d33-0410-9eda-942365e851bb
01996e191c1a9a2251abf7740124b73bde771472 25-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

works now git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4775 cec4b9c1-7d33-0410-9eda-942365e851bb
384d1098c68ef05b8369b4d6b43733f3d1e1e687 11-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

twice type goes through git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4622 cec4b9c1-7d33-0410-9eda-942365e851bb
bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2 30-Jun-2005 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/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/VarDecl.hs Alias.hascasl.output AsPattern.hascasl.output B1.hascasl.output BasicSpec.hascasl BasicSpec.hascasl.output BasicSpec.hascasl.parser.output CMonad.hascasl.output CastFun.hascasl.output Constrain.hascasl.output ContraVariance.hascasl ContraVariance.hascasl.output Double.hascasl.output EmptyLambda.hascasl.output Expr.hascasl.output Foldl.hascasl.output Graphs.hascasl.output Items.hascasl.output Kinds.hascasl Kinds.hascasl.output Lazy.hascasl.output ListEx.hascasl ListEx.hascasl.output MixfixTerms.casl.output Num.hascasl.output OpDecls.hascasl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output PossibleDownsetConflict.hascasl.output Prelude.hascasl Prelude.hascasl.output SuperClassErrors.hascasl.output WrongItems.hascasl.output WrongKinds.hascasl WrongKinds.hascasl.output XInternal.hascasl.output XUnion.hascasl.output YCombinator.hascasl YCombinator.hascasl.output ZMapArgs.hascasl.output
c81507d35d11b2eedf7425a3bb52bceec3224532 30-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

added twice example from overview git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4537 cec4b9c1-7d33-0410-9eda-942365e851bb