.gitignore revision 167d70cbaefa2fcc045ffde6fb4b826524c1c7a9
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroeder*.hi
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroeder*.o
167d70cbaefa2fcc045ffde6fb4b826524c1c7a9Christian Maeder*.dyn_hi
167d70cbaefa2fcc045ffde6fb4b826524c1c7a9Christian Maeder*.dyn_o
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroeder
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/AS_Annotation.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/AS_Annotation.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/AS_Architecture.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/AS_Architecture.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/AS_Library.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/AS_Library.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/AS_Structured.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/AS_Structured.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/Consistency.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/Consistency.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/DefaultMorphism.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/DefaultMorphism.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/DevGraph.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/DevGraph.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/DgUtils.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/DgUtils.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/ExtSign.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/ExtSign.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/GlobalAnnotations.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/GlobalAnnotations.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/Graph.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/Graph.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/Grothendieck.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/IRI.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/IRI.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/Id.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/Id.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/LibName.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/LibName.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/OrderedMap.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/OrderedMap.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/ProofTree.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/ProofTree.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/Prover.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/Prover.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/Result.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/Result.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/XGraph.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederATC/XGraph.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederAdl/ATC_Adl.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederAdl/ATC_Adl.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCASL/AS_Basic_CASL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCASL/ATC_CASL.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCASL/ATC_CASL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCASL_DL/AS_CASL_DL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCASL_DL/ATC_CASL_DL.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCASL_DL/ATC_CASL_DL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCOL/AS_COL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCOL/ATC_COL.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCOL/ATC_COL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCSL/ATC_CSL.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCSL/ATC_CSL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCoCASL/AS_CoCASL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCoCASL/ATC_CoCASL.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCoCASL/ATC_CoCASL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCommon/AS_Annotation.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCommonLogic/AS_CommonLogic.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCommonLogic/ATC_CommonLogic.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCommonLogic/ATC_CommonLogic.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederConstraintCASL/ATC_ConstraintCASL.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederConstraintCASL/ATC_ConstraintCASL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCspCASL/AS_CspCASL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCspCASL/AS_CspCASL_Process.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCspCASL/ATC_CspCASL.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederCspCASL/ATC_CspCASL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederDFOL/ATC_DFOL.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederDFOL/ATC_DFOL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederDriver/Version.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederExtModal/AS_ExtModal.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederExtModal/ATC_ExtModal.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederExtModal/ATC_ExtModal.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederFpl/ATC_Fpl.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederFpl/ATC_Fpl.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederFpl/As.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederFramework/ATC_Framework.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederFramework/ATC_Framework.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederFreeCAD/ATC_FreeCAD.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederFreeCAD/ATC_FreeCAD.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederGUI/Glade/GenericATP.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederGUI/Glade/LinkTypeChoice.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederGUI/Glade/NodeChecker.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederGUI/Glade/ProverGUI.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederGUI/Glade/TextField.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederGUI/Glade/Utils.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederHasCASL/ATC_HasCASL.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederHasCASL/ATC_HasCASL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederHaskell/ATC_Haskell.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederHaskell/ATC_Haskell.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederHaskell/PreludeString.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederHaskell/TiATC.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederHaskell/TiDecorateATC.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederHaskell/TiPropATC.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederHolLight/ATC_HolLight.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederHolLight/ATC_HolLight.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederIsabelle/ATC_Isabelle.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederIsabelle/ATC_Isabelle.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederIsabelle/IsaExport.hs
8d632882ae6a59db929b7f87816da6c4d795594eJonathan von SchroederIsabelle/export/examples/*.isa
8d632882ae6a59db929b7f87816da6c4d795594eJonathan von SchroederIsabelle/export/examples/*.isa.pretty.xml
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederLF/ATC_LF.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederLF/ATC_LF.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederMaude/ATC_Maude.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederMaude/ATC_Maude.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederModal/AS_Modal.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederModal/ATC_Modal.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederModal/ATC_Modal.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederOMDoc/ATC_OMDoc.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederOMDoc/ATC_OMDoc.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederOWL2/ATC_OWL2.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederOWL2/ATC_OWL2.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederPropositional/AS_BASIC_Propositional.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederPropositional/ATC_Propositional.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederPropositional/ATC_Propositional.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederQBF/AS_BASIC_QBF.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederQBF/ATC_QBF.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederQBF/ATC_QBF.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederRDF/ATC_RDF.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederRDF/ATC_RDF.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederRelationalScheme/AS.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederRelationalScheme/ATC_RelationalScheme.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederRelationalScheme/ATC_RelationalScheme.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederSoftFOL/ATC_SoftFOL.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederSoftFOL/ATC_SoftFOL.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederSyntax/AS_Architecture.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederSyntax/AS_Library.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederSyntax/AS_Structured.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederTHF/ATC_THF.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederTHF/ATC_THF.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederTHF/As.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederTemporal/ATC_Temporal.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederTemporal/ATC_Temporal.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederVSE/ATC_VSE.der.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von SchroederVSE/ATC_VSE.hs
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von Schroederhets
167d70cbaefa2fcc045ffde6fb4b826524c1c7a9Christian Maederrev.txt
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von Schroederutils/DrIFT
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von Schroederutils/DtdToHaskell
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von Schroederutils/DtdToHaskell-src/DtdToHaskell/
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von Schroederutils/appendHaskellPreludeString
5d3daa829555d76ff7cf45e71adf661e0819a12bJonathan von Schroederutils/genRules
f618b9465de7fe92a62fc4f247b1e10aa4454d2dJonathan von SchroederHybrid/ATC_Hybrid.hs
f618b9465de7fe92a62fc4f247b1e10aa4454d2dJonathan von SchroederTopHybrid/ATC_TopHybrid.hs
6aad75f5233b1f80eb84f53395f7bb44e9ed7b88Jonathan von SchroederHybrid/AS_Hybrid.hs
6aad75f5233b1f80eb84f53395f7bb44e9ed7b88Jonathan von SchroederHybrid/ATC_Hybrid.der.hs
6aad75f5233b1f80eb84f53395f7bb44e9ed7b88Jonathan von SchroederTopHybrid/AS_TopHybrid.hs
6aad75f5233b1f80eb84f53395f7bb44e9ed7b88Jonathan von SchroederTopHybrid/ATC_TopHybrid.der.hs
8d632882ae6a59db929b7f87816da6c4d795594eJonathan von SchroederCSMOF/ATC_CSMOF.der.hs
8d632882ae6a59db929b7f87816da6c4d795594eJonathan von SchroederCSMOF/ATC_CSMOF.hs