History log of /hets/CASL/test/BasicSpec.sentences.output
Revision Date Author Comments Expand
eae727f2a1203f1e3c86e40667fe6dfb1173abcb 07-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

sort constraints to improve comparing
00ab9ba2438aa8e62b23526b1774ec9d281d4e9c 07-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

added warning for splittable generated sorts
db3b74383c0afcd7a0aec50c263aec4f4e09df8d 07-Aug-2014 cmaeder <cmaeder@users.noreply.github.com>

added dependency analysis
d07a251132b5c92987c937bc3a3384aaf0594e39 27-Jun-2014 Christian Maeder <cmaeder@users.noreply.github.com>

better report ranges of tokens

BasicSpec.analysis.output BasicSpec.sentences.output X2.casl.output /hets/Common/Id.hs /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/CTree.hascasl.output /hets/HasCASL/test/Chain.hascasl.output /hets/HasCASL/test/Coproducts.hascasl.output /hets/HasCASL/test/Freetype.hascasl.output /hets/HasCASL/test/Functor.hascasl.output /hets/HasCASL/test/FunctorMonadTransformer.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/Phantom.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/StateMonad.hascasl.output /hets/HasCASL/test/Subtype5.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output
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

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

changed error message due to #1121 git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17803 cec4b9c1-7d33-0410-9eda-942365e851bb
035384b063bfd4704a0944d1b2f1d817cc384693 04-Dec-2012 Christian Maeder <Christian.Maeder@dfki.de>

changed error messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17672 cec4b9c1-7d33-0410-9eda-942365e851bb
5a448e9be8c4482a978b174b744237757335140f 22-Feb-2012 Christian Maeder <Christian.Maeder@dfki.de>

switched to utf8 default encoding git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16672 cec4b9c1-7d33-0410-9eda-942365e851bb
dece9056c18ada64bcc8f2fba285270374139ee8 06-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

use a reflexive sort relation and avoid a separate sort set git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15472 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/CASL/Amalgamability.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/CCC/OnePoint.hs /hets/CASL/ColimSign.hs /hets/CASL/CompositionTable/ComputeTable.hs /hets/CASL/Freeness.hs /hets/CASL/Morphism.hs /hets/CASL/OMDocImport.hs /hets/CASL/Sign.hs /hets/CASL/StaticAna.hs /hets/CASL/SymbolMapAnalysis.hs BasicSpec.analysis.output BasicSpec.sentences.output BasicSpec.signature.output /hets/CASL_DL/PredefinedCASLAxioms.hs /hets/CASL_DL/PredefinedSign.inline.hs.in /hets/CoCASL/CoCASLSign.hs /hets/Common/Lib/MapSet.hs /hets/Common/Lib/Rel.hs /hets/Comorphisms/Adl2CASL.hs /hets/Comorphisms/CASL2CoCASL.hs /hets/Comorphisms/CASL2CspCASL.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2TopSort.hs /hets/Comorphisms/CASL_DL2CASL.hs /hets/Comorphisms/CommonLogic2CASL.hs /hets/Comorphisms/CspCASL2Modal.hs /hets/Comorphisms/Maude2CASL.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/Comorphisms/OWL2CASL.hs /hets/Comorphisms/RelScheme2CASL.hs /hets/CspCASL/SymMapAna.hs /hets/CspCASLProver/CspCASLProver.hs /hets/DFOL/Comorphism.hs /hets/Fpl/Sign.hs /hets/Maude/PreComorphism.hs /hets/VSE/Ana.hs /hets/VSE/ToSExpr.hs /hets/utils/InlineAxioms/InlineAxioms.hs
3bba1c6f3d924e923d1547e82ae4b468285b54b6 09-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

changed non-matching-predicate warning to a hint git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14684 cec4b9c1-7d33-0410-9eda-942365e851bb
1600a2e47d5ed599df94d20411f0767fb6d68587 02-Mar-2011 Christian Maeder <Christian.Maeder@dfki.de>

changed signs and letter sets git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14658 cec4b9c1-7d33-0410-9eda-942365e851bb
eb0ef4c8002fdf0d3c87b08a772258289833e046 28-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

adjusted overload resolution messages git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14644 cec4b9c1-7d33-0410-9eda-942365e851bb
6e6fb6f753791dc9bafeda28c786256369b37944 25-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

corrected trailing annos parsing after var and added warning for unused local names git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14631 cec4b9c1-7d33-0410-9eda-942365e851bb
4c0a192e509ed49419a708c00322727a13d81ca8 23-Feb-2011 Christian Maeder <Christian.Maeder@dfki.de>

refactored overload resolution git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14610 cec4b9c1-7d33-0410-9eda-942365e851bb
c26ab95219936695befe0c11872b6f1b7cf55a2a 27-Sep-2009 Christian Maeder <Christian.Maeder@dfki.de>

use range span for diagnostics git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12528 cec4b9c1-7d33-0410-9eda-942365e851bb

BasicSpec.analysis.output BasicSpec.sentences.output BasicSpec.signature.output XOver1.casl.output /hets/Common/Result.hs /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/B1.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/BoundedOrd.hascasl.output /hets/HasCASL/test/CTree.hascasl.output /hets/HasCASL/test/Chain.hascasl.output /hets/HasCASL/test/Freetype.hascasl.output /hets/HasCASL/test/Functor.hascasl.output /hets/HasCASL/test/FunctorMonadTransformer.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/NAdd.hascasl.output /hets/HasCASL/test/Num.hascasl.output /hets/HasCASL/test/OpDecls.hascasl.output /hets/HasCASL/test/OpWithInst.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/Product.hascasl.output /hets/HasCASL/test/StateMonad.hascasl.output /hets/HasCASL/test/Subtype.hascasl.output /hets/HasCASL/test/Subtype5.hascasl.output /hets/HasCASL/test/YCombinator.hascasl.output /hets/test/ParameterSpecTest/ParamView.xml
51ec4ad71e32aaf3dfe9252794bebd55323f2a01 02-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

print isomorphic sorts git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11350 cec4b9c1-7d33-0410-9eda-942365e851bb
cab0c181bba08ed235c387e7b68630ce86a239ce 02-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

corrected spechub/Hets@0785865e5f18aa28bd560ca5d7ea9981c537f5f9 wrt printing minimal subsort relation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11343 cec4b9c1-7d33-0410-9eda-942365e851bb
9e4c9def283da8e286dadad0002ad305d837166f 02-Feb-2009 Christian Maeder <Christian.Maeder@dfki.de>

only print direct subsorts i.e. the reduced subsort relation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11342 cec4b9c1-7d33-0410-9eda-942365e851bb
e5d013861c300a6a77b7a85a69cbaafc31292698 02-Oct-2008 Christian Maeder <Christian.Maeder@dfki.de>

allow underspecified total selectors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10768 cec4b9c1-7d33-0410-9eda-942365e851bb
e705eb8361724cf469fb1bf5006d95b5ca0063be 19-Sep-2008 Christian Maeder <Christian.Maeder@dfki.de>

added warning for unused global variables git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10701 cec4b9c1-7d33-0410-9eda-942365e851bb
c62802973ea5156137b134d93626de8d6421fc75 25-Jun-2008 Christian Maeder <Christian.Maeder@dfki.de>

delete partial ops if they become total git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10197 cec4b9c1-7d33-0410-9eda-942365e851bb
717dba98f6cc2ff66aa5708c8a81609a9ed80225 11-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

stripping unused quantifiers is necessary for the inline axiom ga_totality in CASL2SubCFOL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9346 cec4b9c1-7d33-0410-9eda-942365e851bb
da32ee0833ae04aa421282dda245514b56a57ce5 10-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

do not strip quantifiers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9345 cec4b9c1-7d33-0410-9eda-942365e851bb
a8c26eba7f6a95b340e0ad1bc4d8ad40cab2aced 06-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

check for partial constructors in free types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9326 cec4b9c1-7d33-0410-9eda-942365e851bb
bb9c344bcfdca677181baeab9548208ed59072af 04-Dec-2007 Christian Maeder <Christian.Maeder@dfki.de>

removed special treatment for total and partial functions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9281 cec4b9c1-7d33-0410-9eda-942365e851bb
b08605f06e4cea27a87358d21dd06b07547f2dca 16-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

removed reflexive subsort entries git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9200 cec4b9c1-7d33-0410-9eda-942365e851bb
c24619b3ca1db901ca1803be525c6d87df3452ac 16-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

improved warning message git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9199 cec4b9c1-7d33-0410-9eda-942365e851bb
fef03b64e3b1d7d3a8e098f62ef2e7687a433f09 16-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

print a missing alternative git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9197 cec4b9c1-7d33-0410-9eda-942365e851bb
d8f14f4b0bc8d94b61a10c1d268ac33c8e43cca0 14-Nov-2007 Christian Maeder <Christian.Maeder@dfki.de>

changed sort generation constraints analysis and output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9178 cec4b9c1-7d33-0410-9eda-942365e851bb
47ef1a22ac0b094fc02e15e802523db6c428de98 15-Oct-2007 Christian Maeder <Christian.Maeder@dfki.de>

made injections unique git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9048 cec4b9c1-7d33-0410-9eda-942365e851bb
fe670384a1e358c2d2ef269f112ae5ea48f55680 27-Sep-2007 Christian Maeder <Christian.Maeder@dfki.de>

changed to permutative rewrite rules git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8923 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

BasicSpec.analysis.output BasicSpec.sentences.output BasicSpec.signature.output Formula.casl.asMixfixFormula.output Terms.casl.asMixfixTerms.output WrongMixfixFormula.casl.output WrongMixfixTerms.casl.output X2.casl.output /hets/Common/Result.hs /hets/Common/test/Annotations.casl.global.output /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/BoundedOrd.hascasl.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/CTree.hascasl.output /hets/HasCASL/test/Chain.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/ContraVariance.hascasl.output /hets/HasCASL/test/Coproducts.hascasl.output /hets/HasCASL/test/EmptyLambda.hascasl.output /hets/HasCASL/test/Functor.hascasl.output /hets/HasCASL/test/FunctorMonadTransformer.hascasl.output /hets/HasCASL/test/Lazy.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixFormula.casl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/OpWithInst.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PatternEq.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/WrongMixfixTerms.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output
a5bb412a40e394c51dd87964f7432b0775dfa801 28-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

additional free indicator git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8721 cec4b9c1-7d33-0410-9eda-942365e851bb
2da8a43dbeb02102f9e675acc6ce3ecd082ff220 10-Aug-2007 Christian Maeder <Christian.Maeder@dfki.de>

warnings have changed git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8574 cec4b9c1-7d33-0410-9eda-942365e851bb
4def068d5c58a2c07351d99ec3455bc88d5eaa98 04-Apr-2007 Christian Maeder <Christian.Maeder@dfki.de>

fewer semicolons git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7783 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

BasicSpec.analysis.output BasicSpec.casl.output BasicSpec.sentences.output BasicSpec.signature.output MixfixTerms.casl.output X1.casl.output X2.casl.output X3.casl.output X4.casl.output XOver1.casl.output 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 /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/BasicSpec.casl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.parser.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/Double.hascasl.output /hets/HasCASL/test/Expr.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/Items.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/Num.hascasl.output /hets/HasCASL/test/OpDecls.hascasl.output /hets/HasCASL/test/OpWithInst.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PatternEq.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/SuperClassErrors.hascasl.output /hets/HasCASL/test/Terms.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output
aaae8c00d7868d09d8bf52acd7d93ac39eaff5b5 04-Aug-2006 Christian Maeder <Christian.Maeder@dfki.de>

no parens for final quantification git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6778 cec4b9c1-7d33-0410-9eda-942365e851bb
8dfe50ec075a54a041a66b428a6eb91c65ccf5f5 04-Aug-2006 Christian Maeder <Christian.Maeder@dfki.de>

fewer parens for predicate applications git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6777 cec4b9c1-7d33-0410-9eda-942365e851bb
07284edd3063927c626df9c1cea9a0a7c2774efd 02-Aug-2006 Christian Maeder <Christian.Maeder@dfki.de>

further changed Sort_gen_ax lauyout git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6758 cec4b9c1-7d33-0410-9eda-942365e851bb
a4b140e7220222c38a7bf9704690d476a8a40d55 01-Aug-2006 Christian Maeder <Christian.Maeder@dfki.de>

changed Sort_gen_ax output git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6755 cec4b9c1-7d33-0410-9eda-942365e851bb
882a5ee17da81179034543398eb13caf490ea27a 31-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

rename generated ops git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6749 cec4b9c1-7d33-0410-9eda-942365e851bb
51d3a0cea3a34049357e170a38000a7043815380 05-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

changed tuple printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6587 cec4b9c1-7d33-0410-9eda-942365e851bb
b9fef2e5a40737182d451b846f6656c9abebb203 03-Jul-2006 Christian Maeder <Christian.Maeder@dfki.de>

let junctors and equalities appear on the left git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6566 cec4b9c1-7d33-0410-9eda-942365e851bb
9b15f16d51ee16c6eb1222020ee342aba408875d 22-Jun-2006 Christian Maeder <Christian.Maeder@dfki.de>

changed printing of named sentences git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6486 cec4b9c1-7d33-0410-9eda-942365e851bb
db453fe9625a9dab5d108f7a5e464598814144b8 26-Apr-2006 Jian Chun Wang <wjch868@informatik.uni-bremen.de>

new Doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6258 cec4b9c1-7d33-0410-9eda-942365e851bb
5be2fb5bcfaa6abbb6043d679a1d536b4878b789 19-Apr-2006 Jian Chun Wang <wjch868@informatik.uni-bremen.de>

new Doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6208 cec4b9c1-7d33-0410-9eda-942365e851bb
5dcdd49dcfa8b4523f949ebc1ac2b59efd7874a7 03-Apr-2006 Christian Maeder <Christian.Maeder@dfki.de>

changed printout git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6157 cec4b9c1-7d33-0410-9eda-942365e851bb
59316321b20af89de1c2d4cd53183e04b72662c4 24-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

replaced PrettyPrint instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6119 cec4b9c1-7d33-0410-9eda-942365e851bb
5d7d6d7254e5f057f8c462865a35966a1362952d 23-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

moved dot from PrettyPrint FORMULA instance to printLabelledSen git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6113 cec4b9c1-7d33-0410-9eda-942365e851bb
c26ff5708c4a855bf9503b3001bcc19e5fd6286f 22-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

only export toText, changes for latex git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6096 cec4b9c1-7d33-0410-9eda-942365e851bb
cc5f8f0f9dd781dce6a9359d38ffa38baeb34e10 21-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

changed pretty printing of parens git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6080 cec4b9c1-7d33-0410-9eda-942365e851bb
03b37cacc12eb5eb0e3bf7aafd23bd89d38ae058 17-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

switch formula printing to new doc git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6053 cec4b9c1-7d33-0410-9eda-942365e851bb
bc48a75c0a968be3d6cb31768a4120cafba0d202 15-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

changed shadowed warning to a hint git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6019 cec4b9c1-7d33-0410-9eda-942365e851bb
565858d5e34d3f48a9939f5f401c2670048b9642 15-Mar-2006 Christian Maeder <Christian.Maeder@dfki.de>

more warnings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6014 cec4b9c1-7d33-0410-9eda-942365e851bb
d87f7936435c3fc3ea4487b2cf7faf5136e14bd8 27-Jan-2006 Christian Maeder <Christian.Maeder@dfki.de>

changed default to PrettyPrint version git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5730 cec4b9c1-7d33-0410-9eda-942365e851bb
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

BasicSpec.analysis.output BasicSpec.sentences.output X2.casl.output X4.casl.output XOver1.casl.output XTest.casl.output /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/B1.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/ContraVariance.hascasl.output /hets/HasCASL/test/Double.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/Num.hascasl.output /hets/HasCASL/test/OpWithInst.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PatternEq.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/SuperClassErrors.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/YCombinator.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output
5e605dc61ff9ec5724c319603905dc9b0dccc05f 03-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

restructured mixfix analysis by precomputing all non-simple identifiers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5336 cec4b9c1-7d33-0410-9eda-942365e851bb
b1c32a0faa63e0c13687f36a2faae5969ec0a9d5 02-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

only consider real CASL mixfix identifiers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5333 cec4b9c1-7d33-0410-9eda-942365e851bb
d239e12e6805b873ca094d0431325d1d8d295a01 28-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

joined variables of equal sorts in quantification git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5097 cec4b9c1-7d33-0410-9eda-942365e851bb
ee35696edbcdb06e451d39c11bda2f2fd4b5dd3f 27-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

added formula transformations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5092 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
68b065341b3426cd3ecbdc31c0186090000ae4b6 19-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

warn on identifier overlap, check variable's sort git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4947 cec4b9c1-7d33-0410-9eda-942365e851bb
8f5163417e552cf382ecef6f20933a589c3eb173 22-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed overload resolution git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4741 cec4b9c1-7d33-0410-9eda-942365e851bb
752c91d9483d1ecc6dd3f2a56b636bd9bc64cd56 25-May-2005 Christian Maeder <Christian.Maeder@dfki.de>

checked for unintended subsort cycles and isomorphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4325 cec4b9c1-7d33-0410-9eda-942365e851bb
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7f 09-May-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed all position infos to [Pos] git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4224 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Sml_cats.hs /hets/CASL/CCC/FreeTypes.hs /hets/CASL/Formula.hs /hets/CASL/MixfixParser.hs /hets/CASL/Morphism.hs /hets/CASL/OpItem.hs /hets/CASL/Overload.hs /hets/CASL/Parse_AS_Basic.hs /hets/CASL/SortItem.hs /hets/CASL/StaticAna.hs /hets/CASL/SymbolMapAnalysis.hs /hets/CASL/SymbolParser.hs BasicSpec.analysis.output BasicSpec.sentences.output BasicSpec.signature.output Formula.casl.asMixfixFormula.output Terms.casl.asMixfixTerms.output WrongMixfixTerms.casl.output /hets/CoCASL/Parse_AS.hs /hets/CoCASL/StatAna.hs /hets/Common/AnalyseAnnos.hs /hets/Common/AnnoState.hs /hets/Common/ConvertLiteral.hs /hets/Common/Earley.hs /hets/Common/Id.hs /hets/Common/Lexer.hs /hets/Common/Result.hs /hets/Common/test/Annotations.casl.global.output /hets/Comorphisms/HasCASL2Haskell.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/ParseItem.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/SymbItem.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs /hets/HasCASL/test/AsPattern.hascasl.output /hets/HasCASL/test/B1.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/CMonad.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/Lazy.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/MixfixFormula.casl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/OpDecls.hascasl.output /hets/HasCASL/test/OpWithInst.hascasl.output /hets/HasCASL/test/Pair.hascasl.output /hets/HasCASL/test/PatternEq.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/WrongMixfixTerms.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/ZMapArgs.hascasl.output /hets/Haskell/HatAna.hs /hets/Logic/Languages.hs /hets/Modal/Parse_AS.hs /hets/Static/AnalysisArchitecture.hs /hets/Static/AnalysisLibrary.hs /hets/Static/AnalysisStructured.hs /hets/Static/ArchDiagram.hs /hets/Static/DGToSpec.hs /hets/Syntax/Parse_AS_Architecture.hs /hets/Syntax/Parse_AS_Library.hs /hets/Syntax/Parse_AS_Structured.hs /hets/ToHaskell/TranslateAna.hs /hets/version_nr
c554b3175bf1c2291e4ab2a51a4af3f82a8104d7 27-Apr-2005 Christian Maeder <Christian.Maeder@dfki.de>

printed subsort relation as legal CASL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4132 cec4b9c1-7d33-0410-9eda-942365e851bb
af065414c911003bc8b25196686b30019a4ade48 26-Apr-2005 Christian Maeder <Christian.Maeder@dfki.de>

tried to optimize git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4128 cec4b9c1-7d33-0410-9eda-942365e851bb
9ae4cecfddf68464feacc5375fe9ffc678ec9daa 25-Apr-2005 Christian Maeder <Christian.Maeder@dfki.de>

do not consider variables when typechecking the unit element git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4114 cec4b9c1-7d33-0410-9eda-942365e851bb
b2fbe9fd5e63cb6b7f6d43c9fd4c59216a5c4b23 07-Apr-2005 Christian Maeder <Christian.Maeder@dfki.de>

pretty printer changes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4017 cec4b9c1-7d33-0410-9eda-942365e851bb
da288dec3d52e7e2a66f0476ccf7e3cb2613bc9f 04-Apr-2005 Christian Maeder <Christian.Maeder@dfki.de>

more parentheses for typed expressions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4006 cec4b9c1-7d33-0410-9eda-942365e851bb
ef871cd2987f8f7ca144b00b918c3e7ed608f734 18-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed injections git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3974 cec4b9c1-7d33-0410-9eda-942365e851bb
ddcdce341114d57ad1c20e76ed373cfd5466468a 16-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

added disjointness property between subsort alternatives of free types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3959 cec4b9c1-7d33-0410-9eda-942365e851bb
f92a9a33e08d620a0ac77dbcd22282c379047f59 16-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

added test cases git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3958 cec4b9c1-7d33-0410-9eda-942365e851bb
53e3b4c5391f9bc6c366f1bd5199535b7b0c6f14 16-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

collected generated subsort relation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3956 cec4b9c1-7d33-0410-9eda-942365e851bb
6fd7710e5577ab99cb1ffab82f9bcf54bac4018b 15-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

adjusted quantifiers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3950 cec4b9c1-7d33-0410-9eda-942365e851bb
88c36311800ca29752a8ac9cd80035b94be3d717 15-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

simplifed sentences git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3945 cec4b9c1-7d33-0410-9eda-942365e851bb
e935423c16e00af45bffbe131f4bd9ae01853fcb 14-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

rearranged static analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3941 cec4b9c1-7d33-0410-9eda-942365e851bb
bec7e681b0ba4d085638ec7af0cf7ae5068840ca 10-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

changed simplifySen and added injections, -v5 still fails with splitAppl git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3922 cec4b9c1-7d33-0410-9eda-942365e851bb
2ea96be07aca5e182e1ce3cfde9a8c343c244024 10-Mar-2005 Christian Maeder <Christian.Maeder@dfki.de>

major changes, reports ambiguities and other errors better, removed injections git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3920 cec4b9c1-7d33-0410-9eda-942365e851bb
0af0cffad0fea46df86ff9a9b1d490247871719a 16-Feb-2005 Christian Maeder <Christian.Maeder@dfki.de>

use PrettyPrint rather than separate show function git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3809 cec4b9c1-7d33-0410-9eda-942365e851bb
ac78d893751bd863db265cf04c470d76becc8d68 06-Dec-2004 Christian Maeder <Christian.Maeder@dfki.de>

injections are added git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3528 cec4b9c1-7d33-0410-9eda-942365e851bb
afd9b62270cc1fa6cc07402bfa585873f25f0b67 22-Nov-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3455 cec4b9c1-7d33-0410-9eda-942365e851bb
e5f04a9ff00bb0ea785a8cb395ac0c91bf7a5079 28-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed Overload.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3345 cec4b9c1-7d33-0410-9eda-942365e851bb
2461f4848f65c170ccc15dcec7315b42e448b79c 21-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

do not override checkSorts diags in addSubsort git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3303 cec4b9c1-7d33-0410-9eda-942365e851bb
ff8a3c8d8b9a25641d223f849fe288b9e77b0216 20-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

no output of tab git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3290 cec4b9c1-7d33-0410-9eda-942365e851bb
220de03db5dcb16b0c35bda9ccc073d9e4718512 14-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

corrected reverting business git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3251 cec4b9c1-7d33-0410-9eda-942365e851bb
ff2dfea96884df13d76e5c282bef6f8c89a8b24a 21-Sep-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed some formula printings git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3175 cec4b9c1-7d33-0410-9eda-942365e851bb
e7365bb94be5847c5eafdbe8d90617346f7b8a39 08-Sep-2004 Christian Maeder <Christian.Maeder@dfki.de>

some added _inj ops git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3151 cec4b9c1-7d33-0410-9eda-942365e851bb
a255351561838b3743d03c1629d335cfb8b83804 06-Sep-2004 Christian Maeder <Christian.Maeder@dfki.de>

added separate mixfix resolution for formula extensions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3135 cec4b9c1-7d33-0410-9eda-942365e851bb
0ef224f91ae03454991ff105b2161f7644205d5f 23-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

var -&gt; op git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2975 cec4b9c1-7d33-0410-9eda-942365e851bb
906f0b21e2dc78ee4f37f879518be018a0204cd9 07-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

left predicate test for Overload.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2927 cec4b9c1-7d33-0410-9eda-942365e851bb
95381f438ad570d2140870215c485c7f601a2fd1 01-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

no printing of empty labels git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2787 cec4b9c1-7d33-0410-9eda-942365e851bb
f5165bb90f7b42764a5879916eb8ff2334607221 30-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

better error positions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2522 cec4b9c1-7d33-0410-9eda-942365e851bb
c35eca8dfd27b9c92e6d041d795dddefc445049e 27-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

spaces instead of tabs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2489 cec4b9c1-7d33-0410-9eda-942365e851bb
2989937cb086f9f58d20ca26eaee82d7db745d60 22-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed overload resolution git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2455 cec4b9c1-7d33-0410-9eda-942365e851bb
c8ce768368b746f172ff24a3e45c7618cd2a6063 13-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2380 cec4b9c1-7d33-0410-9eda-942365e851bb
9428777fddba3acea55162c35c1cfd489ffee6eb 07-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

simple ids changed to qual vars but may be ops too git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2376 cec4b9c1-7d33-0410-9eda-942365e851bb
1f086d5155f47fdad9a0de4e46bbebb2c4b33d30 05-Apr-2004 Christian Maeder <Christian.Maeder@dfki.de>

removed Analyzable git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2356 cec4b9c1-7d33-0410-9eda-942365e851bb
a9f66782ec8890eb108c2dea5bcd92285086ee98 18-Mar-2004 Christian Maeder <Christian.Maeder@dfki.de>

Simple_id becoem Qual_var git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2287 cec4b9c1-7d33-0410-9eda-942365e851bb
85596937335c2b30e55a6449d1f5b7c36a9e2e91 15-Mar-2004 Christian Maeder <Christian.Maeder@dfki.de>

added positions, avoided empty variables list, subsorts still require the embedding constructor git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2281 cec4b9c1-7d33-0410-9eda-942365e851bb
3d161cd650e4ef7cb760bf9c984b893bf27a961b 12-Mar-2004 Christian Maeder <Christian.Maeder@dfki.de>

added remaining formulae, disjoint subsort alternatives are not treated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2272 cec4b9c1-7d33-0410-9eda-942365e851bb
dd0140ae3fa45729c7301a01185999faa0f957ed 12-Mar-2004 Christian Maeder <Christian.Maeder@dfki.de>

extended static ana git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2269 cec4b9c1-7d33-0410-9eda-942365e851bb
9361f31f2c11bcc43289d85af3ccb23e16dd770c 05-Mar-2004 Christian Maeder <Christian.Maeder@dfki.de>

added selector equations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2248 cec4b9c1-7d33-0410-9eda-942365e851bb
6cb09495133887e0d5e021fa3cf44f288881eb68 05-Mar-2004 Christian Maeder <Christian.Maeder@dfki.de>

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