Cross Reference: /hets/Logic.hs

History log of /hets/Logic.hs
Revision	Date	Author	Comments Expand
c561172957d9f9a3e248b8c5bd8d8f5e6470d2be	17-Feb-2011	Christian Maeder <Christian.Maeder@dfki.de>	wibble git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14568 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs
8f3c5acc87958cc3f4e413c37b0f124fb4e3db47	16-Feb-2011	Mihai Codescu <mcodescu@informatik.uni-bremen.de>	git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14561 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs
37bca994f215449238dd0c8308a94a83ae184d38	16-Feb-2011	Mihai Codescu <mcodescu@informatik.uni-bremen.de>	some pointers for logical frameworks in Hets git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14560 cec4b9c1-7d33-0410-9eda-942365e851bb Framework.hs Logic.hs
8d6aa4bda97770cc79cf96de3c0f9dfa4d7d7aaf	22-Dec-2008	Christian Maeder <Christian.Maeder@dfki.de>	removed ghc modules Set and Map git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11186 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs
99249aeda5fac6f8f0b2316ca357bac898af1928	01-Aug-2008	Christian Maeder <Christian.Maeder@dfki.de>	changed line breaks git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10431 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs
da955132262baab309a50fdffe228c9efe68251d	27-Sep-2007	Cui Jian <ken@informatik.uni-bremen.de>	cleaned up codes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8947 cec4b9c1-7d33-0410-9eda-942365e851bb ATC/ATCTest2.hs CASL.hs CASL_DL.hs COL/AS_COL.der.hs COL/COLSign.hs COL/Logic_COL.hs COL/Parse_AS.hs Comorphisms/CASL2CoCASL.hs Comorphisms/Hs2HOLCF.hs Comorphisms/Hs2HOLCFaux.hs Comorphisms/Prop2CASL.hs CspCASL/AS_CspCASL_Process.hs CspCASL/Parse_CspCASL_Process.hs CspCASL/Print_CspCASL.hs CspCASL/SignCSP.hs Driver.hs GMP/CoalitionL.hs GMP/GMPAS.hs GMP/GMPParser.hs GMP/GMPSAT.hs GMP/GradedML.hs GMP/Main.hs GMP/MajorityL.hs GMP/ModalK.hs GMP/ModalKD.hs GMP/ModalLogic.hs GMP/ToRacer.hs GUI.hs GUI/AbstractGraphView.hs GUI/GraphLogic.hs GUI/GraphMenu.hs GUI/GraphTypes.hs GUI/HTkUtils.hs GUI/PrintUtils.hs Haskell.hs Isabelle.hs Logic.hs Logic/Coerce.hs Logic/Comorphism.hs Logic/Modification.hs Logic/Morphism.hs Lottery/Test.hs Lottery/Zaehler.hs Modifications/ModalEmbedding.hs OMDoc/ATerm.hs OMDoc/Container.hs OMDoc/KeyDebug.hs OMDoc/Logic_OMDoc.hs OMDoc/OMDocDefs.hs OMDoc/OMDocInput.hs OMDoc/OMDocInterface.hs OMDoc/OMDocOutput.hs OMDoc/OMDocXml.hs OMDoc/Util.hs OMDoc/XmlHandling.hs OWL_DL.hs OWL_DL/OWLAnalysis.hs OWL_DL/Print.hs PGIP/CMDLShell.hs PGIP/CMDLState.hs PGIP/CMDLUtils.hs PGIP/DgCommands.hs PGIP/InfoCommands.hs PGIP/Interface.hs PGIP/ProveCommands.hs PGIP/UndoRedo.hs Proofs.hs Proofs/AbstractState.hs Proofs/Automatic.hs Proofs/BatchProcessing.hs Proofs/Composition.hs Proofs/EdgeUtils.hs Proofs/Global.hs Proofs/HideTheoremShift.hs Proofs/InferBasic.hs Proofs/Local.hs Proofs/SimpleTheoremHideShift.hs Proofs/StatusUtils.hs Proofs/TheoremHideShift.hs Propositional.hs Propositional/AS_BASIC_Propositional.der.hs Propositional/Analysis.hs Propositional/Conversions.hs Propositional/InverseAnalysis.hs Propositional/Logic_Propositional.hs Propositional/Morphism.hs Propositional/Parse_AS_Basic.hs Propositional/Prop2CASLHelpers.hs Propositional/ProverState.hs Propositional/Sign.hs Propositional/Symbol.hs Propositional/TestProp2CNF.hs Propositional/Tools.hs SoftFOL/MathServMapping.hs SoftFOL/MathServParsing.hs SoftFOL/PrintTPTP.hs SoftFOL/ProveHelp.hs SoftFOL/ProverState.hs Static/AnalysisLibrary.hs Static/DevGraph.hs Static/GTheory.hs Taxonomy.hs Taxonomy/MMiSSOntologyGraph.hs Taxonomy/OntoParser.hs Taxonomy/taxonomyTool.hs hets.hs mini/Grothendieck.hs mini/Logic.hs mini/Main.hs mini/Parser.hs mini/Proof.hs mini/StaticAnalysis.hs mini/Structured.hs test/childProcessTest.hs
7474388b4c2236f8ab2327289555000268c7901a	02-May-2007	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	added explanation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7854 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs Logic/Logic.hs
0095c7efbddd0ffeed6aaf8ec015346be161d819	01-Jan-2007	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	added Description header git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7284 cec4b9c1-7d33-0410-9eda-942365e851bb CASL/AS_Basic_CASL.der.hs CASL/AlphaConvert.hs CASL/Amalgamability.hs CASL/CCC/FreeTypes.hs CASL/CCC/OnePoint.hs CASL/CCC/SignFuns.hs CASL/CCC/TermFormula.hs CASL/CCC/TerminationProof.hs CASL/CompositionTable/CompositionTable.hs CASL/CompositionTable/ComputeTable.hs CASL/Fold.hs CASL/Induction.hs CASL/Inject.hs CASL/Kif.hs CASL/Kif2CASL.hs CASL/Logic_CASL.hs CASL/MapSentence.hs CASL/MixfixParser.hs CASL/Morphism.hs CASL/OpItem.hs CASL/Overload.hs CASL/Parse_AS_Basic.hs CASL/Project.hs CASL/Quantification.hs CASL/RunMixfixParser.hs CASL/ShowMixfix.hs CASL/Sign.hs CASL/Simplify.hs CASL/SimplifySen.hs CASL/SortItem.hs CASL/StaticAna.hs CASL/Sublogic.hs CASL/SymbolMapAnalysis.hs CASL/SymbolParser.hs CASL/Taxonomy.hs CASL/ToDoc.hs CASL/Utils.hs CASL/capa.hs Logic.hs Logic/Coerce.hs Logic/Comorphism.hs Logic/Grothendieck.hs Logic/Logic.hs Logic/Morphism.hs Logic/Prover.hs Static/AnalysisArchitecture.hs Static/AnalysisLibrary.hs Static/AnalysisStructured.hs Static/ArchDiagram.hs Static/DGToSpec.hs Static/DGTranslation.hs Static/DevGraph.hs Static/DotGraph.hs Static/LogicStructured.hs Static/PrintDevGraph.hs Syntax/AS_Architecture.der.hs Syntax/AS_Library.der.hs Syntax/AS_Structured.der.hs Syntax/Parse_AS_Architecture.hs Syntax/Parse_AS_Library.hs Syntax/Parse_AS_Structured.hs Syntax/Print_AS_Architecture.hs Syntax/Print_AS_Library.hs Syntax/Print_AS_Structured.hs
be408ef9713fbbbaf7bde82618f7d3f204fe806c	17-Sep-2005	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Improved documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5022 cec4b9c1-7d33-0410-9eda-942365e851bb Hets-Haddock-Prologue.txt Logic.hs
e687bd70d6e6c98d82b239e01fef4a60de6739f4	15-Apr-2005	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	improved documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4062 cec4b9c1-7d33-0410-9eda-942365e851bb CASL.hs Hets-Haddock-Prologue.txt Logic.hs Logic/Logic.hs
4918e2f622cfb96f9a57b7617cd18ca7e4f8b5d4	14-Apr-2005	Christian Maeder <Christian.Maeder@dfki.de>	dummy modules for haddock directory documentation git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4051 cec4b9c1-7d33-0410-9eda-942365e851bb ATC.hs ATC/ADoc.hs CASL.hs CASL_DL.hs COL.hs CoCASL.hs Common.hs Comorphisms.hs CspCASL.hs Driver.hs GUI.hs HasCASL.hs Haskell.hs Hatchet.hs Isabelle.hs Logic.hs Modal.hs OWL_DL.hs Proofs.hs SPASS.hs Static.hs Syntax.hs Taxonomy.hs ToHaskell.hs
9b51fc5528c4d34260d97763fb59f427c3c7a63a	21-Feb-2003	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Added Typeable in order to debug heterogeneous code git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@925 cec4b9c1-7d33-0410-9eda-942365e851bb AnalysisLibrary.hs AnalysisStructured.hs CASL/AS_Basic_CASL.der.hs CASL/Logic_CASL.hs Grothendieck.hs HasCASL/Logic_HasCASL.hs Logic.hs LogicGraph.hs LogicRepr.hs hetana.hs
7f34aa86290d0260e0bc00c64e4548ae4e941c5e	20-Feb-2003	Christian Maeder <Christian.Maeder@dfki.de>	added Show Constraint to trace coercions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@921 cec4b9c1-7d33-0410-9eda-942365e851bb Grothendieck.hs Logic.hs LogicGraph.hs LogicRepr.hs
aab9c701026f1a0fe31ef4dd374a5dcb17b551a7	18-Feb-2003	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	proof_tree added to type class Logic git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@894 cec4b9c1-7d33-0410-9eda-942365e851bb CASL/Logic_CASL.hs CASL/Sign.hs DevGraph.hs GUI/ConvertDevToAbstractGraph.hs Grothendieck.hs HasCASL/Logic_HasCASL.hs Logic.hs LogicRepr.hs Prover.hs
3b4439aa37e4229ad6e83d46bd303c2799784c80	17-Feb-2003	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	First development graph GUI prototype. Threw out Haskell, because it did not work. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@890 cec4b9c1-7d33-0410-9eda-942365e851bb AS_Library.der.hs AS_Structured.der.hs AnalysisLibrary.hs AnalysisStructured.hs CASL/Logic_CASL.hs DevGraph.hs GUI/AbstractGraphView.hs GUI/ConvertDevToAbstractGraph.hs GUI/hetdg.hs Grothendieck.hs Logic.hs Parse_AS_Structured.hs Print_AS_Structured.hs aterm_conv/ATC_sml_cats.hs
bfb49c899f9f35cf80e0df5fb0ab84e845575ee8	13-Feb-2003	Christian Maeder <Christian.Maeder@dfki.de>	renamed Daan's Set to FiniteSet because of ghci linker problems git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@870 cec4b9c1-7d33-0410-9eda-942365e851bb CASL/Static.hs FiniteSet.hs Id.hs Logic.hs LogicRepr.hs
cc0298f887b0416641a8b87acfae2c2983caa062	13-Feb-2003	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	started library analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@866 cec4b9c1-7d33-0410-9eda-942365e851bb AS_Library.der.hs AnalysisLibrary.hs AnalysisStructured.hs Grothendieck.hs Id.hs Logic.hs Parse_AS_Structured.hs hetpa.hs
143fb54d0265592fab56951d09e7912bf0d8cf02	11-Feb-2003	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Structured analysis of hidings. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@854 cec4b9c1-7d33-0410-9eda-942365e851bb AnalysisStructured.hs CASL/Static.hs Logic.hs
880b4b90f01052cddc0858548f5909db93057b62	11-Feb-2003	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Completed Grothendieck signature morphisms and static anaylsis of translations. "o" in applicative order changed to "comp" in diagrammatic order. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@853 cec4b9c1-7d33-0410-9eda-942365e851bb AnalysisStructured.hs CASL/Logic_CASL.hs CASL/Static.hs DevGraph.hs Grothendieck.hs Logic.hs LogicRepr.hs Parse_AS_Structured.hs Result.hs hetpa.hs
89d5b892ca2fd8eb8f72dba097759a6d54f0a78c	31-Jan-2003	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Restructuring of Grothendieck and LogicGraph. Started with writing structured analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@804 cec4b9c1-7d33-0410-9eda-942365e851bb AnalysisStructured.hs DevGraph.hs Grothendieck.hs Logic.hs LogicGraph.hs P_user_state.hs Parse_AS_Structured.hs TheLogicGraph.hs hetpa.hs
a2e054b20027cb83c35f4a97f308de8ebe32b23c	28-Jan-2003	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Lexer for version corrected git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@783 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs Parse_AS_Structured.hs ParsecInterface.hs
601dc92e4c128d23a726593357c654fb776a63a7	24-Jan-2003	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	HetCASL parser extended to all SPECs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@774 cec4b9c1-7d33-0410-9eda-942365e851bb CASL/Keywords.hs CASL/Logic_CASL.hs DevGraph.hs Logic.hs LogicGraph.hs Parse_AS_Structured.hs Prover.hs mini/Logic.hs mini/Main.hs
9db48b4604636bfdf03e60890fc094b7bec775dc	21-Nov-2002	Christian Maeder <Christian.Maeder@dfki.de>	adapted files for hugs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@653 cec4b9c1-7d33-0410-9eda-942365e851bb CASL/Makefile CASL/capa.lhs CASL/checkFunctions.sh CASL/runcheck.sh HasCASL/TypeInference.hs HasCASL/hacapa.lhs HasCASL/runcheck.sh Logic.hs ghc/UnsafeCoerce.hs hetcats/Makefile hetcats/hetcats.lhs hugs/UnsafeCoerce.hs
caf9cbd08ac84499a343bbd0eac79e9bb47a40e5	02-Oct-2002	Christian Maeder <Christian.Maeder@dfki.de>	removed local_env and renamed module LocalEnv.hs to Sign.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@472 cec4b9c1-7d33-0410-9eda-942365e851bb CASL/Logic_CASL.hs CASL/Sign.hs CASL/Sublogics.hs Grothendieck.hs HasCASL/Type.hs Logic.hs
3b8b5431cf66e7a4b4a300c4410a9ccf5fc5b9d4	01-Oct-2002	Christian Maeder <Christian.Maeder@dfki.de>	changed [Annotation] to GlobalAnnos git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@465 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs
be35c71576ae303352ee31d43418f4f2dacd6137	01-Oct-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Changed Typeable back to (unsafe) coerce git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@464 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs LogicStructured.hs
20112ab8441c2fcd3d08189c08fc9ec6d208384a	01-Oct-2002	Christian Maeder <Christian.Maeder@dfki.de>	renamed module Error to Result git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@463 cec4b9c1-7d33-0410-9eda-942365e851bb CASL/Logic_CASL.hs Logic.hs Result.hs
fbf80d5a0f83312673b660f28c461943196feb74	01-Oct-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	meeting with Till git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@462 cec4b9c1-7d33-0410-9eda-942365e851bb CASL/LocalEnv.hs CASL/Sublogics.hs Logic.hs LogicStructured.hs
b3a6e8022e4a38976980d1264682eae6df92978d	15-Jul-2002	Christian Maeder <Christian.Maeder@dfki.de>	moved Sublogics to class Logic to avoid undecidable instances git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@364 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs
9d19316719601e1f1d36cceb9ab319cc34921f31	12-Jul-2002	Christian Maeder <Christian.Maeder@dfki.de>	restructured Logic.hs (very much) moved theory and prover stuff to Prover.hs moved LogicRepr to LogicRepr.hs implemented coerce for Grothendieck.hs and LogicGraph.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@355 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs
b3e31d2c629f0f861483c1dcd5d81d2ce1434833	27-Jun-2002	Christian Maeder <Christian.Maeder@dfki.de>	reverted back from _items_list to _items git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@322 cec4b9c1-7d33-0410-9eda-942365e851bb CASL/Logic_CASL.hs Grothendieck.hs Logic.hs LogicGraph.hs Parse_AS_Structured.hs aterm_conv/ATC_sml_cats.hs hetcats/Makefile
91849a39b94abfecb7e854930ad280a68699d08c	27-Jun-2002	Christian Maeder <Christian.Maeder@dfki.de>	cleaned up Logic.hs (still a mess wrt. default-defs) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@321 cec4b9c1-7d33-0410-9eda-942365e851bb CASL/AS_Basic_CASL.der.hs CASL/LocalEnv.hs CASL/Logic_CASL.hs CASL/Parse_AS_Basic.hs CASL/Print_AS_Basic.hs CASL/Sublogics.hs Grothendieck.hs Logic.hs LogicGraph.hs Parse_AS_Structured.hs Print_AS_Architecture.hs Print_AS_Library.hs Print_AS_Structured.hs aterm_conv/ATC_sml_cats.hs
1ab15b02633a5da28260d77f5ef321bea35f702b	20-Jun-2002	Klaus Luettich <luettich@informatik.uni-bremen.de>	Updated for the changed PrettyPrint class. And introduced some prettyprinting functions in class Syntax. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@301 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs
6cc7aac7f9d472e466cd46d2d9961abe8278fd40	25-Apr-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Used better data structures (Graph, FiniteMap, Set) Small fixes. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@158 cec4b9c1-7d33-0410-9eda-942365e851bb GlobalEnv.hs Grothendieck.hs Logic.hs LogicGraph.hs
e133aea22c6ad153a8a2b1ee42636e69cc2d83df	23-Apr-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Library modification time added to LibEnv. Adaptions to data structure changes. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@152 cec4b9c1-7d33-0410-9eda-942365e851bb GlobalEnv.hs Grothendieck.hs Logic.hs LogicGraph.hs
9b94043f6a8b10ddf748119a0e34002dd5e592c3	27-Mar-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Added Show and Eq instances to Grothendieck stuff and AS git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@116 cec4b9c1-7d33-0410-9eda-942365e851bb AS_Architecture.hs AS_Library.hs AS_Structured.hs GlobalEnv.hs Grothendieck.hs Logic.hs
51ad29ec0d75f2212f801e8883ed9f6f4d6289fd	26-Mar-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	GlobalEnv goes through. Made necessary adpations of AS. What to do with deriving Show and Eq for Grothendieck logic stuff? git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@113 cec4b9c1-7d33-0410-9eda-942365e851bb AS_Architecture.hs AS_Library.hs AS_Structured.hs GlobalEnv.hs Grothendieck.hs Id.hs Logic.hs
f87b96d07c285575f8d106fc302a1a48554e2c47	05-Mar-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Comment signs added git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@83 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs
815e723d788c6d8f6578e08039bd7e2e01fc10b4	22-Feb-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Removed mapping of basic specs from logic representations Imported Annotations git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@43 cec4b9c1-7d33-0410-9eda-942365e851bb Grothendieck.hs Logic.hs LogicGraph.hs
6f3198a56c02c18d02d19b4aaad1c395686aec07	10-Feb-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Composition of representations almost completed. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@19 cec4b9c1-7d33-0410-9eda-942365e851bb Grothendieck.hs Id.hs Logic.hs LogicGraph.hs
bbe5fce56bd50bef3029eff4ab8a54fc768c7f58	08-Feb-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Added homogenization of lists (using dynamic types) git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18 cec4b9c1-7d33-0410-9eda-942365e851bb Grothendieck.hs Logic.hs
f586a20f0d391470365243cc1405af39c92c6372	08-Feb-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Errors moved to Error.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17 cec4b9c1-7d33-0410-9eda-942365e851bb Error.hs Logic.hs
52d090273385a8ce0873dfc5ab2bf5ff187aecb6	08-Feb-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Adding of local_env finished. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15 cec4b9c1-7d33-0410-9eda-942365e851bb Grothendieck.hs Logic.hs LogicGraph.hs
7071dc65207d7e7ff42c7ac1561431068b99ca66	08-Feb-2002	Klaus Luettich <luettich@informatik.uni-bremen.de>	Corections for import Id.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs
fa86eafe76916407bc574eba3e04f35f68a603b7	08-Feb-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Moved IDs to Id.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11 cec4b9c1-7d33-0410-9eda-942365e851bb Id.hs Logic.hs
59b46ac0fea6346fc310d280a3cbd5192054bf4c	08-Feb-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Error monad added. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs
f2d9e4293e6fc8bd1a380bbc9b6ddf7390f05ebc	08-Feb-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Sentence translation added; todo extended. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9 cec4b9c1-7d33-0410-9eda-942365e851bb Logic.hs LogicGraph.hs
4b479bc5f0136c43d7d7da9502556cb940818efb	07-Feb-2002	Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>	Initial versions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8 cec4b9c1-7d33-0410-9eda-942365e851bb Grothendieck.hs Logic.hs LogicGraph.hs institution.hs