History log of /hets/HasCASL/doc/Todo
Revision Date Author Comments Expand
15266581d6a1efcfdef46fdc5f585491595e5047 24-Feb-2006 Christian Maeder <Christian.Maeder@dfki.de>

further HasCASL2IsabelleHOL problems git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5869 cec4b9c1-7d33-0410-9eda-942365e851bb
c8f89667ecf606b24418e35bec8c66fe2a5704fa 10-Nov-2005 Christian Maeder <Christian.Maeder@dfki.de>

Isabelle stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5375 cec4b9c1-7d33-0410-9eda-942365e851bb
1987182fcaa48837e7b6a323e22cfb0cb57c667c 31-Oct-2005 Christian Maeder <Christian.Maeder@dfki.de>

added items git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5317 cec4b9c1-7d33-0410-9eda-942365e851bb
e12060f6b377b0783138431a3716126e12a6671e 30-Sep-2005 Christian Maeder <Christian.Maeder@dfki.de>

updated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5108 cec4b9c1-7d33-0410-9eda-942365e851bb
acc8b88d801c026a46da4e5ba34110c5384ac745 23-Aug-2005 Christian Maeder <Christian.Maeder@dfki.de>

clarified git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4968 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 Todo /hets/HasCASL/test/Alias.hascasl.output /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/CastFun.hascasl.output /hets/HasCASL/test/Constrain.hascasl.output /hets/HasCASL/test/ContraVariance.hascasl.output /hets/HasCASL/test/Double.hascasl.output /hets/HasCASL/test/EmptyLambda.hascasl.output /hets/HasCASL/test/Expr.hascasl.output /hets/HasCASL/test/Foldl.hascasl.output /hets/HasCASL/test/Graphs.hascasl /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/Items.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/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/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/SuperClassErrors.hascasl.output /hets/HasCASL/test/Terms.hascasl.output /hets/HasCASL/test/WrongMixfixTerms.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/HasCASL/test/YCombinator.hascasl.output /hets/HasCASL/test/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

/hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/HasCASL2Haskell.hs /hets/HasCASL/As.der.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/Builtin.hs /hets/HasCASL/Constrain.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Le.hs /hets/HasCASL/Merge.hs /hets/HasCASL/MixAna.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/PrintLe.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/SubtypeDecl.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/VarDecl.hs Todo /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/ContraVariance.hascasl.output /hets/HasCASL/test/Double.hascasl.output /hets/HasCASL/test/ListEx.hascasl.output /hets/HasCASL/test/PetriSystemCategory.hascasl.output /hets/HasCASL/test/PlainTypes.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output
8c271acbe48e7c48571d5c9a7420201eae0561e6 25-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

fixed test cases git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4776 cec4b9c1-7d33-0410-9eda-942365e851bb
87147fc0ce51105c46094830194fe3191d29ddfa 14-Jul-2005 Christian Maeder <Christian.Maeder@dfki.de>

works as before on the examples git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4670 cec4b9c1-7d33-0410-9eda-942365e851bb
f4d2adb22998bc523bfecc5295460d8b9fa6ea16 30-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

kind inference is wrong git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4542 cec4b9c1-7d33-0410-9eda-942365e851bb
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
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
e902f04e075e525f2d7fc15a694e59c1b6331c60 29-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

added documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4527 cec4b9c1-7d33-0410-9eda-942365e851bb
fe5dbb45b6a8abf34375b4bc5f2a81cda664c0e4 28-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

settled shadowing hints git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4523 cec4b9c1-7d33-0410-9eda-942365e851bb
b5ae094776014b09c5d8b9f3fc91cbe3041211d8 24-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

error when subtyping function types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4495 cec4b9c1-7d33-0410-9eda-942365e851bb
34bb32bddb823b1b7ec26e2ba30785edc4e1602a 21-Jun-2005 Christian Maeder <Christian.Maeder@dfki.de>

simply ignored redeclaration of builtin identifiers git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4473 cec4b9c1-7d33-0410-9eda-942365e851bb
0ed1d09c7b7cd6e26b869757509b78f03e140c6a 31-May-2005 Christian Maeder <Christian.Maeder@dfki.de>

added items git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4343 cec4b9c1-7d33-0410-9eda-942365e851bb
fefc47a49fa40695524219affd089427759e41bd 06-Apr-2005 Christian Maeder <Christian.Maeder@dfki.de>

removed CASL/Overload.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4012 cec4b9c1-7d33-0410-9eda-942365e851bb
deb7bff126ec547bd812d0c8683ad6e785a45abb 24-Feb-2005 Christian Maeder <Christian.Maeder@dfki.de>

extended morphismUnion git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3852 cec4b9c1-7d33-0410-9eda-942365e851bb
111c54f59f3ecc9c19dbe84565dff8839a4c7b43 23-Feb-2005 Christian Maeder <Christian.Maeder@dfki.de>

updated Morphism stuff git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3848 cec4b9c1-7d33-0410-9eda-942365e851bb
f504d268c5b5bd491c6c9d15cf74cf16ee3feb1f 16-Feb-2005 Christian Maeder <Christian.Maeder@dfki.de>

updated git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3812 cec4b9c1-7d33-0410-9eda-942365e851bb
f77eef4def95b0c9ec99d3c039c1d90e8340dcfc 02-Nov-2004 Christian Maeder <Christian.Maeder@dfki.de>

also translated primed tokens git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3369 cec4b9c1-7d33-0410-9eda-942365e851bb
adf0cd9e940150b6e835cc0ad1266cfbf9e011b3 29-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

added items git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3352 cec4b9c1-7d33-0410-9eda-942365e851bb
fcec1ffa4a95dbc47cf23f75e6843ceff93a925e 28-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

treated program via let and filtered out wrong equations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3340 cec4b9c1-7d33-0410-9eda-942365e851bb
9c5b1136299d9052e4e995614a3a36a051a2682f 26-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

avoided output of empty id lists git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3324 cec4b9c1-7d33-0410-9eda-942365e851bb
aff01ee50b66032469c232e00c945d1fd4f57d1b 20-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

just moved code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3278 cec4b9c1-7d33-0410-9eda-942365e851bb
17448f712ed5116e6e6d2df84205cfdaae210620 13-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

added an item git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3248 cec4b9c1-7d33-0410-9eda-942365e851bb
6cca02cb6a5ae882d887a879f8b7a71941c3715c 12-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

CASL-lib/Basic goes through now git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3241 cec4b9c1-7d33-0410-9eda-942365e851bb
ec12df24146f3c81c7cf49c0ef1dcd82afe3b561 11-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed reduction calls git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3237 cec4b9c1-7d33-0410-9eda-942365e851bb
8338fbf3cfb9cf981261d893286f070bd9fa17ef 04-Oct-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed to very slow subtyping analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3210 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/HasCASL/Constrain.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/Unify.hs Todo /hets/HasCASL/test/Alias.hascasl.output /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/Expr.hascasl.output /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/Lazy.hascasl.output /hets/HasCASL/test/ListEx.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/PlainTypes.hascasl.output /hets/HasCASL/test/PossibleDownsetConflict.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/SuperClassErrors.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output
0520cc62cc3e0c91f30be054c80aadd7738566ee 24-Sep-2004 Christian Maeder <Christian.Maeder@dfki.de>

__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3189 cec4b9c1-7d33-0410-9eda-942365e851bb
15c12a3ac049a4528da05b1017b78145f308aeb0 15-Sep-2004 Christian Maeder <Christian.Maeder@dfki.de>

prepared shape unification git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3163 cec4b9c1-7d33-0410-9eda-942365e851bb
767287eeefa3e7bff66f3fa1604e8283886cd529 08-Sep-2004 Christian Maeder <Christian.Maeder@dfki.de>

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

__* empty log message __* git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3136 cec4b9c1-7d33-0410-9eda-942365e851bb
72ef3f34973b651d6d23cac15eb1e6bd1f8a203e 04-Aug-2004 Christian Maeder <Christian.Maeder@dfki.de>

adapted git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3006 cec4b9c1-7d33-0410-9eda-942365e851bb
2dba752dedea77b7664117a46312d4a5ced6c979 19-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

instantiated by negative index git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2955 cec4b9c1-7d33-0410-9eda-942365e851bb
7dec34aee2b609b9535c48d060e0f7baf3536457 16-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

made data type variables negative git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2951 cec4b9c1-7d33-0410-9eda-942365e851bb
fc7df539e6d41b050161ed8f9ae6e444b1b5ab14 14-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

uniquely identified bound variables in type schemes via a negative index corresponding to the position of occurence git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2938 cec4b9c1-7d33-0410-9eda-942365e851bb
e6b73c9f5f8bcb8d400f257863d0ab62dac33866 09-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

stop after mixfix errors git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2934 cec4b9c1-7d33-0410-9eda-942365e851bb
93ee71ae78c3b7419930a8e4a06977ac7dbae6d0 09-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

improved constraint handling i.e. for lhs patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2933 cec4b9c1-7d33-0410-9eda-942365e851bb
ad97909f160c13effd3bc73155aaa2c29902a5a1 02-Jul-2004 Christian Maeder <Christian.Maeder@dfki.de>

added constraint resolution git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2917 cec4b9c1-7d33-0410-9eda-942365e851bb
67d010c0b09f8bf06c8fabbe2543f3c4742ff53c 28-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

simplified typeCheck and changed let-analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2897 cec4b9c1-7d33-0410-9eda-942365e851bb
0f67ca7b0c738a28f6688ba6e96d44d7c14af611 23-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed kinds and alias types git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2893 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/CASL2HasCASL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/ClassAna.hs /hets/HasCASL/ClassDecl.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/Morphism.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/ParseTerm.hs /hets/HasCASL/PrintAs.hs /hets/HasCASL/RawSym.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/Symbol.hs /hets/HasCASL/SymbolMapAnalysis.hs /hets/HasCASL/TypeAna.hs /hets/HasCASL/TypeDecl.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs Todo /hets/HasCASL/test/B1.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/PossibleDownsetConflict.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/SuperClassErrors.hascasl.output /hets/HasCASL/test/WrongKinds.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/ToHaskell/TranslateAna.hs
63ef8e2674d733721a5bf17078e1be968dde38ca 18-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

adapted language summary git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2886 cec4b9c1-7d33-0410-9eda-942365e851bb
fc8c6570c7b4ee13f375eb607bed2290438573bf 16-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed Absy and parsing, added wild card pattern and treated as-patterns git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2876 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/Comorphisms/CASL2HasCASL.hs /hets/Comorphisms/HasCASL2IsabelleHOL.hs /hets/HasCASL/As.hs /hets/HasCASL/AsToLe.hs /hets/HasCASL/AsUtils.hs /hets/HasCASL/DataAna.hs /hets/HasCASL/LaTeX_HasCASL.hs /hets/HasCASL/MapTerm.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/ProgEq.hs /hets/HasCASL/Sublogic.hs /hets/HasCASL/TypeCheck.hs /hets/HasCASL/Unify.hs /hets/HasCASL/VarDecl.hs Todo /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/MixfixTerms.casl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/WrongItems.hascasl.output /hets/HasCASL/test/WrongKinds.hascasl.output /hets/HasCASL/test/WrongMixIds.casl.output /hets/HasCASL/test/WrongTerms.hascasl.output /hets/HasCASL/test/WrongTypes.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/ToHaskell/TranslateAna.hs
780f981d3c8567cfaebdc8c2d6edb0e2c57aae04 11-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

different merging of opInfos git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2850 cec4b9c1-7d33-0410-9eda-942365e851bb
dc2ce67f56f9d4507503cc2a24f2646c7f2adf6d 10-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

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

/hets/HasCASL/Builtin.hs /hets/HasCASL/OpDecl.hs /hets/HasCASL/VarDecl.hs Todo /hets/HasCASL/test/Alias.hascasl.output /hets/HasCASL/test/B1.hascasl.output /hets/HasCASL/test/BasicSpec.hascasl.output /hets/HasCASL/test/Expr.hascasl.output /hets/HasCASL/test/Graphs.hascasl /hets/HasCASL/test/Graphs.hascasl.output /hets/HasCASL/test/ListEx.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/PlainTypes.hascasl.output /hets/HasCASL/test/PossibleDownsetConflict.hascasl.output /hets/HasCASL/test/Prelude.hascasl.output /hets/HasCASL/test/SuperClassErrors.hascasl.output /hets/HasCASL/test/XInternal.hascasl.output /hets/HasCASL/test/XUnion.hascasl.output /hets/ToHaskell/TranslateAna.hs /hets/ToHaskell/TranslateId.hs /hets/ToHaskell/UniqueId.hs /hets/ToHaskell/test/BoolEx.hascasl.hs /hets/ToHaskell/test/Expr.hascasl.hs /hets/ToHaskell/test/FiniteSet.hascasl.hs /hets/ToHaskell/test/MyLogic.hs /hets/ToHaskell/test/OpDecls.hascasl.hs /hets/ToHaskell/test/Pair.hascasl.hs /hets/ToHaskell/test/PatternEq.hascasl.hs /hets/ToHaskell/test/Sorting.hascasl.hs /hets/ToHaskell/test/Test.hascasl.hs
4d5f32c7e4e49e726f5d10943be3718afdff73cd 09-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

translated further formulas git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2839 cec4b9c1-7d33-0410-9eda-942365e851bb
715ffaf874309df081d1e1cd8e05073fc1227729 09-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

added selector equations and changed pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2838 cec4b9c1-7d33-0410-9eda-942365e851bb
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5 08-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

changed AltDefn git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2836 cec4b9c1-7d33-0410-9eda-942365e851bb
38f0f1cd2467c5bb0a250c6fcd08e32bfddb6360 04-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

noted problem with data type renaming git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2820 cec4b9c1-7d33-0410-9eda-942365e851bb
07b72edb610ee53b4832d132e96b0a3d8423f8eb 04-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

mapped morphisms in datatypes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2819 cec4b9c1-7d33-0410-9eda-942365e851bb
ac98d93dea3218a8ed35e870fa8ff61d2a1c095c 04-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

morphisms git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2818 cec4b9c1-7d33-0410-9eda-942365e851bb
d34c258c4ee9eb153afab9b22728e9efc27279f7 03-Jun-2004 Christian Maeder <Christian.Maeder@dfki.de>

my scratch paper git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2813 cec4b9c1-7d33-0410-9eda-942365e851bb