History log of /hets/HasCASL/test/And.hascasl.output
Revision Date Author Comments Expand
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
5cb757fab60f0c6bd6c2ff444d18963f078be9be 15-Aug-2008 Christian Maeder <Christian.Maeder@dfki.de>

white spaces only git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10507 cec4b9c1-7d33-0410-9eda-942365e851bb
021d7137df04ec1834911d99d90243a092841ced 25-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

considered %simp and %nosimp annotations #170 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9085 cec4b9c1-7d33-0410-9eda-942365e851bb
2ca4cb7c4970015237ff434081c2c5bc74284cad 20-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

ignore data types in type map git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8659 cec4b9c1-7d33-0410-9eda-942365e851bb
946f62de1b188898dde0c472f2a8a6fb86f4d2f5 20-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

make printed sign more reparsable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8658 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
b640fb89ee46f63ae66111c0a12c0ff39e9daf20 10-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

corrected examples from overview git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8578 cec4b9c1-7d33-0410-9eda-942365e851bb
040d9b1fe7c96c9692fb759dec2886a95becec82 10-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

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