.gitignore revision 8dbc5fec77543515bcd781e1e544dc61e0134cbf
539N/A*~
539N/A*.hi
1276N/A*.o
539N/A*.dyn_hi
1276N/A*.dyn_o
539N/AOWL2/*.jar
539N/AOWL2/java/build/
919N/AOWL2/lib/
919N/AATC/AS_Annotation.der.hs
919N/AATC/AS_Annotation.hs
919N/AATC/AS_Architecture.der.hs
919N/AATC/AS_Architecture.hs
919N/AATC/AS_Library.der.hs
919N/AATC/AS_Library.hs
919N/AATC/AS_Structured.der.hs
919N/AATC/AS_Structured.hs
919N/AATC/Consistency.der.hs
919N/AATC/Consistency.hs
919N/AATC/DefaultMorphism.der.hs
919N/AATC/DefaultMorphism.hs
919N/AATC/DevGraph.der.hs
919N/AATC/DevGraph.hs
919N/AATC/DgUtils.der.hs
919N/AATC/DgUtils.hs
539N/AATC/ExtSign.der.hs
539N/AATC/ExtSign.hs
539N/AATC/GlobalAnnotations.der.hs
539N/AATC/GlobalAnnotations.hs
539N/AATC/Graph.der.hs
539N/AATC/Graph.hs
539N/AATC/Grothendieck.hs
1276N/AATC/IRI.der.hs
539N/AATC/IRI.hs
911N/AATC/Id.der.hs
1276N/AATC/Id.hs
1276N/AATC/LibName.der.hs
1276N/AATC/LibName.hs
911N/AATC/OrderedMap.der.hs
539N/AATC/OrderedMap.hs
1276N/AATC/ProofTree.der.hs
539N/AATC/ProofTree.hs
970N/AATC/Prover.der.hs
970N/AATC/Prover.hs
970N/AATC/Result.der.hs
970N/AATC/Result.hs
970N/AATC/XGraph.der.hs
970N/AATC/XGraph.hs
970N/AAdl/ATC_Adl.der.hs
970N/AAdl/ATC_Adl.hs
539N/ACASL/AS_Basic_CASL.hs
1276N/ACASL/ATC_CASL.der.hs
804N/ACASL/ATC_CASL.hs
539N/ACASL_DL/AS_CASL_DL.hs
970N/ACASL_DL/ATC_CASL_DL.der.hs
970N/ACASL_DL/ATC_CASL_DL.hs
970N/ACOL/AS_COL.hs
1095N/ACOL/ATC_COL.der.hs
1095N/ACOL/ATC_COL.hs
1095N/ACSL/ATC_CSL.der.hs
1095N/ACSL/ATC_CSL.hs
1095N/ACoCASL/AS_CoCASL.hs
1095N/ACoCASL/ATC_CoCASL.der.hs
539N/ACoCASL/ATC_CoCASL.hs
Common/AS_Annotation.hs
CommonLogic/AS_CommonLogic.hs
CommonLogic/ATC_CommonLogic.der.hs
CommonLogic/ATC_CommonLogic.hs
ConstraintCASL/ATC_ConstraintCASL.der.hs
ConstraintCASL/ATC_ConstraintCASL.hs
CspCASL/AS_CspCASL.hs
CspCASL/AS_CspCASL_Process.hs
CspCASL/ATC_CspCASL.der.hs
CspCASL/ATC_CspCASL.hs
DFOL/ATC_DFOL.der.hs
DFOL/ATC_DFOL.hs
Driver/Version.hs
ExtModal/AS_ExtModal.hs
ExtModal/ATC_ExtModal.der.hs
ExtModal/ATC_ExtModal.hs
Fpl/ATC_Fpl.der.hs
Fpl/ATC_Fpl.hs
Fpl/As.hs
Framework/ATC_Framework.der.hs
Framework/ATC_Framework.hs
FreeCAD/ATC_FreeCAD.der.hs
FreeCAD/ATC_FreeCAD.hs
GUI/Glade/GenericATP.hs
GUI/Glade/LinkTypeChoice.hs
GUI/Glade/NodeChecker.hs
GUI/Glade/ProverGUI.hs
GUI/Glade/TextField.hs
GUI/Glade/Utils.hs
HasCASL/ATC_HasCASL.der.hs
HasCASL/ATC_HasCASL.hs
Haskell/ATC_Haskell.der.hs
Haskell/ATC_Haskell.hs
Haskell/PreludeString.hs
Haskell/TiATC.hs
Haskell/TiDecorateATC.hs
Haskell/TiPropATC.hs
HolLight/ATC_HolLight.der.hs
HolLight/ATC_HolLight.hs
Isabelle/ATC_Isabelle.der.hs
Isabelle/ATC_Isabelle.hs
Isabelle/IsaExport.hs
Isabelle/export/examples/*.isa
Isabelle/export/examples/*.isa.pretty.xml
LF/ATC_LF.der.hs
LF/ATC_LF.hs
Maude/ATC_Maude.der.hs
Maude/ATC_Maude.hs
Modal/AS_Modal.hs
Modal/ATC_Modal.der.hs
Modal/ATC_Modal.hs
OMDoc/ATC_OMDoc.der.hs
OMDoc/ATC_OMDoc.hs
OWL2/ATC_OWL2.der.hs
OWL2/ATC_OWL2.hs
Propositional/AS_BASIC_Propositional.hs
Propositional/ATC_Propositional.der.hs
Propositional/ATC_Propositional.hs
QBF/AS_BASIC_QBF.hs
QBF/ATC_QBF.der.hs
QBF/ATC_QBF.hs
RDF/ATC_RDF.der.hs
RDF/ATC_RDF.hs
RelationalScheme/AS.hs
RelationalScheme/ATC_RelationalScheme.der.hs
RelationalScheme/ATC_RelationalScheme.hs
SoftFOL/ATC_SoftFOL.der.hs
SoftFOL/ATC_SoftFOL.hs
Syntax/AS_Architecture.hs
Syntax/AS_Library.hs
Syntax/AS_Structured.hs
THF/ATC_THF.der.hs
THF/ATC_THF.hs
THF/As.hs
Temporal/ATC_Temporal.der.hs
Temporal/ATC_Temporal.hs
VSE/ATC_VSE.der.hs
VSE/ATC_VSE.hs
hets
rev.txt
utils/DrIFT
utils/DtdToHaskell
utils/DtdToHaskell-src/DtdToHaskell/
utils/appendHaskellPreludeString
utils/genRules
Hybrid/ATC_Hybrid.hs
TopHybrid/ATC_TopHybrid.hs
Hybrid/AS_Hybrid.hs
Hybrid/ATC_Hybrid.der.hs
TopHybrid/AS_TopHybrid.hs
TopHybrid/ATC_TopHybrid.der.hs
CSMOF/ATC_CSMOF.der.hs
CSMOF/ATC_CSMOF.hs
QVTR/ATC_QVTR.der.hs
QVTR/ATC_QVTR.hs