.gitignore revision f618b9465de7fe92a62fc4f247b1e10aa4454d2d
0N/A*.hi
2362N/A*.o
0N/A
0N/AATC/AS_Annotation.der.hs
0N/AATC/AS_Annotation.hs
0N/AATC/AS_Architecture.der.hs
2362N/AATC/AS_Architecture.hs
0N/AATC/AS_Library.der.hs
2362N/AATC/AS_Library.hs
0N/AATC/AS_Structured.der.hs
0N/AATC/AS_Structured.hs
0N/AATC/Consistency.der.hs
0N/AATC/Consistency.hs
0N/AATC/DefaultMorphism.der.hs
0N/AATC/DefaultMorphism.hs
0N/AATC/DevGraph.der.hs
0N/AATC/DevGraph.hs
0N/AATC/DgUtils.der.hs
0N/AATC/DgUtils.hs
0N/AATC/ExtSign.der.hs
2362N/AATC/ExtSign.hs
2362N/AATC/GlobalAnnotations.der.hs
2362N/AATC/GlobalAnnotations.hs
0N/AATC/Graph.der.hs
0N/AATC/Graph.hs
0N/AATC/Grothendieck.hs
0N/AATC/IRI.der.hs
0N/AATC/IRI.hs
0N/AATC/Id.der.hs
0N/AATC/Id.hs
0N/AATC/LibName.der.hs
0N/AATC/LibName.hs
0N/AATC/OrderedMap.der.hs
0N/AATC/OrderedMap.hs
0N/AATC/ProofTree.der.hs
0N/AATC/ProofTree.hs
0N/AATC/Prover.der.hs
0N/AATC/Prover.hs
0N/AATC/Result.der.hs
0N/AATC/Result.hs
0N/AATC/XGraph.der.hs
0N/AATC/XGraph.hs
0N/AAdl/ATC_Adl.der.hs
0N/AAdl/ATC_Adl.hs
0N/ACASL/AS_Basic_CASL.hs
0N/ACASL/ATC_CASL.der.hs
0N/ACASL/ATC_CASL.hs
0N/ACASL_DL/AS_CASL_DL.hs
0N/ACASL_DL/ATC_CASL_DL.der.hs
0N/ACASL_DL/ATC_CASL_DL.hs
0N/ACOL/AS_COL.hs
0N/ACOL/ATC_COL.der.hs
0N/ACOL/ATC_COL.hs
0N/ACSL/ATC_CSL.der.hs
0N/ACSL/ATC_CSL.hs
0N/ACoCASL/AS_CoCASL.hs
0N/ACoCASL/ATC_CoCASL.der.hs
0N/ACoCASL/ATC_CoCASL.hs
0N/ACommon/AS_Annotation.hs
0N/ACommonLogic/AS_CommonLogic.hs
0N/ACommonLogic/ATC_CommonLogic.der.hs
0N/ACommonLogic/ATC_CommonLogic.hs
0N/AConstraintCASL/ATC_ConstraintCASL.der.hs
0N/AConstraintCASL/ATC_ConstraintCASL.hs
0N/ACspCASL/AS_CspCASL.hs
0N/ACspCASL/AS_CspCASL_Process.hs
0N/ACspCASL/ATC_CspCASL.der.hs
0N/ACspCASL/ATC_CspCASL.hs
0N/ADFOL/ATC_DFOL.der.hs
0N/ADFOL/ATC_DFOL.hs
0N/ADriver/Version.hs
0N/AExtModal/AS_ExtModal.hs
0N/AExtModal/ATC_ExtModal.der.hs
0N/AExtModal/ATC_ExtModal.hs
0N/AFpl/ATC_Fpl.der.hs
0N/AFpl/ATC_Fpl.hs
0N/AFpl/As.hs
0N/AFramework/ATC_Framework.der.hs
0N/AFramework/ATC_Framework.hs
0N/AFreeCAD/ATC_FreeCAD.der.hs
0N/AFreeCAD/ATC_FreeCAD.hs
0N/AGUI/Glade/GenericATP.hs
0N/AGUI/Glade/LinkTypeChoice.hs
0N/AGUI/Glade/NodeChecker.hs
0N/AGUI/Glade/ProverGUI.hs
0N/AGUI/Glade/TextField.hs
0N/AGUI/Glade/Utils.hs
0N/AHasCASL/ATC_HasCASL.der.hs
0N/AHasCASL/ATC_HasCASL.hs
0N/AHaskell/ATC_Haskell.der.hs
0N/AHaskell/ATC_Haskell.hs
0N/AHaskell/PreludeString.hs
0N/AHaskell/TiATC.hs
0N/AHaskell/TiDecorateATC.hs
0N/AHaskell/TiPropATC.hs
0N/AHolLight/ATC_HolLight.der.hs
0N/AHolLight/ATC_HolLight.hs
0N/AIsabelle/ATC_Isabelle.der.hs
0N/AIsabelle/ATC_Isabelle.hs
0N/AIsabelle/IsaExport.hs
0N/ALF/ATC_LF.der.hs
0N/ALF/ATC_LF.hs
0N/AMaude/ATC_Maude.der.hs
0N/AMaude/ATC_Maude.hs
0N/AModal/AS_Modal.hs
0N/AModal/ATC_Modal.der.hs
0N/AModal/ATC_Modal.hs
0N/AOMDoc/ATC_OMDoc.der.hs
0N/AOMDoc/ATC_OMDoc.hs
0N/AOWL2/ATC_OWL2.der.hs
0N/AOWL2/ATC_OWL2.hs
0N/APropositional/AS_BASIC_Propositional.hs
0N/APropositional/ATC_Propositional.der.hs
0N/APropositional/ATC_Propositional.hs
0N/AQBF/AS_BASIC_QBF.hs
0N/AQBF/ATC_QBF.der.hs
0N/AQBF/ATC_QBF.hs
0N/ARDF/ATC_RDF.der.hs
0N/ARDF/ATC_RDF.hs
0N/ARelationalScheme/AS.hs
0N/ARelationalScheme/ATC_RelationalScheme.der.hs
0N/ARelationalScheme/ATC_RelationalScheme.hs
0N/ASoftFOL/ATC_SoftFOL.der.hs
0N/ASoftFOL/ATC_SoftFOL.hs
0N/ASyntax/AS_Architecture.hs
0N/ASyntax/AS_Library.hs
0N/ASyntax/AS_Structured.hs
0N/ATHF/ATC_THF.der.hs
0N/ATHF/ATC_THF.hs
0N/ATHF/As.hs
0N/ATemporal/ATC_Temporal.der.hs
0N/ATemporal/ATC_Temporal.hs
0N/AVSE/ATC_VSE.der.hs
0N/AVSE/ATC_VSE.hs
0N/Ahets
utils/DrIFT
utils/DtdToHaskell
utils/DtdToHaskell-src/DtdToHaskell/
utils/appendHaskellPreludeString
utils/genRules
Hybrid/ATC_Hybrid.hs
TopHybrid/ATC_TopHybrid.hs