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