History log of /hets/HasCASL/test/EmptyLambda.hascasl.output
Revision Date Author Comments Expand
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
aca00d341fb4baec0fdd0dc05094618ba87be268 30-Jun-2009 Christian Maeder <Christian.Maeder@dfki.de>

changed insertion of subtype constrains git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11855 cec4b9c1-7d33-0410-9eda-942365e851bb
bf0a12ff587940621f70ef590176d498ff4c7847 18-Sep-2007 Christian Maeder <Christian.Maeder@dfki.de>

considered newlines in text docs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8863 cec4b9c1-7d33-0410-9eda-942365e851bb
98b443335df9c77328edb9dbf3ed565535317249 18-Sep-2007 Christian Maeder <Christian.Maeder@dfki.de>

inserted line breaks in result messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8862 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 Alias.hascasl.output BasicSpec.hascasl.output BoundedOrd.hascasl.output CMonad.hascasl.output CTree.hascasl.output Chain.hascasl.output Constrain.hascasl.output ContraVariance.hascasl.output Coproducts.hascasl.output EmptyLambda.hascasl.output Functor.hascasl.output FunctorMonadTransformer.hascasl.output Lazy.hascasl.output ListEx.hascasl.output MixfixFormula.casl.output MixfixTerms.casl.output OpWithInst.hascasl.output Pair.hascasl.output PatternEq.hascasl.output PetriSystemCategory.hascasl.output PlainTypes.hascasl.output Prelude.hascasl.output WrongMixfixTerms.hascasl.output XUnion.hascasl.output ZMapArgs.hascasl.output
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
a53f4b7cb8bedee4fb7a8b386efcb47246467948 10-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

properly print empty lambdas git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8576 cec4b9c1-7d33-0410-9eda-942365e851bb
962036a37b92afb04ac0725cde9f20e599c04c5f 09-Jul-2007 Christian Maeder <Christian.Maeder@dfki.de>

refined instantiation list resolution git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8286 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
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
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
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
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
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
c2dead95fafd7ca36d06ddf07606a1292ead6d8a 19-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

restructured unification git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4712 cec4b9c1-7d33-0410-9eda-942365e851bb
9e525b5e896481de6845fb0b31bd0f9ba3c39136 08-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

only changed builtin functions (still wrong) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4579 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
9d366b8f5c7972eeab315cb317feb8be264fad23 30-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

added empty lambda git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4535 cec4b9c1-7d33-0410-9eda-942365e851bb