History log of /hets/CASL_DL.hs
Revision Date Author Comments Expand
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
89ad40d3e38192dffaed9c10fad391a60fb5f273 26-Jul-2007 Klaus Luettich <luettich@informatik.uni-bremen.de>

some documentation on CASL_DL git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8484 cec4b9c1-7d33-0410-9eda-942365e851bb
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