.gitignore revision a389e88e0acb83d8489bdc5e55bc5522b152bbec
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein*~
fdd80e9a55c70b36a3bf3e409b86897301c44ff8Automatic Updater*.DS_Store
75c0816e8295e180f4bc7f10db3d0d880383bc1cMark Andrews*.hi
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein*.o
4a14ce5ba00ab7bc55c99ffdcf59c7a4ab902721Automatic Updater*.dyn_hi
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein*.dyn_o
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein.*.swp
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein.hets*
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein*.bin
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinhets
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinhets_server
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinhets.cgi
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinrev.txt
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein*.orig
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein.stack-work/
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinstack
1238b38c9f0ab563b762dc0fd00ac6c34c2b7295Automatic Updaterdoc/*.aux
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindoc/*.bbl
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindoc/*.blg
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindoc/*.fdb_latexmk
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindoc/*.fls
e21a2904f02a03fa06b6db04d348f65fe9c67b2bMark Andrewsdoc/*.log
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindoc/*.out
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindoc/UserGuide.pdf
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindoc/hs2isa.ps
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindocs/
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinprogramatica/
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinOWL2/*.jar
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinOWL2/java/build/
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinOWL2/java/tmp/
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinOWL2/lib/
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeintmp/
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindist/
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindebian/changelog*
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindebian/root
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindebian/files
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindebian/hets-*
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeindebian/tmp
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/AS_Annotation.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/AS_Annotation.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/AS_Architecture.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/AS_Architecture.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/AS_Library.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/AS_Library.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/AS_Structured.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/AS_Structured.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/Consistency.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/Consistency.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/DefaultMorphism.der.hs
fdd80e9a55c70b36a3bf3e409b86897301c44ff8Automatic UpdaterATC/DefaultMorphism.hs
fdd80e9a55c70b36a3bf3e409b86897301c44ff8Automatic UpdaterATC/DevGraph.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/DevGraph.hs
fdd80e9a55c70b36a3bf3e409b86897301c44ff8Automatic UpdaterATC/DgUtils.der.hs
fdd80e9a55c70b36a3bf3e409b86897301c44ff8Automatic UpdaterATC/DgUtils.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/ExtSign.der.hs
fdd80e9a55c70b36a3bf3e409b86897301c44ff8Automatic UpdaterATC/ExtSign.hs
1238b38c9f0ab563b762dc0fd00ac6c34c2b7295Automatic UpdaterATC/GlobalAnnotations.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/GlobalAnnotations.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/Graph.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/Graph.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/Grothendieck.hs
9c6a5d1f22f972232d7a9fd5c5fa64f10bacbdffAutomatic UpdaterATC/IRI.der.hs
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark AndrewsATC/IRI.hs
5a4557e8de2951a2796676b5ec4b6a90caa5be14Mark AndrewsATC/Id.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/Id.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/LibName.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/LibName.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/OrderedMap.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/OrderedMap.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/ProofTree.der.hs
fdd80e9a55c70b36a3bf3e409b86897301c44ff8Automatic UpdaterATC/ProofTree.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/Prover.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/Prover.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/Result.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/Result.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/XGraph.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinATC/XGraph.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinAdl/ATC_Adl.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinAdl/ATC_Adl.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinCASL/AS_Basic_CASL.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinCASL/ATC_CASL.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinCASL/ATC_CASL.hs
727f5b8846457a33d06f515a10a7e1aa849ddf18Andreas GustafssonCASL_DL/AS_CASL_DL.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceCASL_DL/ATC_CASL_DL.der.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterCASL_DL/ATC_CASL_DL.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterCOL/AS_COL.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterCOL/ATC_COL.der.hs
727f5b8846457a33d06f515a10a7e1aa849ddf18Andreas GustafssonCOL/ATC_COL.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceCSL/ATC_CSL.der.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterCSL/ATC_CSL.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterCoCASL/AS_CoCASL.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceCoCASL/ATC_CoCASL.der.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceCoCASL/ATC_CoCASL.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceCommon/AS_Annotation.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceCommonLogic/AS_CommonLogic.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceCommonLogic/ATC_CommonLogic.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinCommonLogic/ATC_CommonLogic.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinConstraintCASL/ATC_ConstraintCASL.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinConstraintCASL/ATC_ConstraintCASL.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinCspCASL/AS_CspCASL.hs
fdd80e9a55c70b36a3bf3e409b86897301c44ff8Automatic UpdaterCspCASL/AS_CspCASL_Process.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinCspCASL/ATC_CspCASL.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinCspCASL/ATC_CspCASL.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinDFOL/ATC_DFOL.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinDFOL/ATC_DFOL.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinExtModal/AS_ExtModal.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinExtModal/ATC_ExtModal.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinExtModal/ATC_ExtModal.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterFpl/ATC_Fpl.der.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterFpl/ATC_Fpl.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterFpl/As.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterFramework/ATC_Framework.der.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterFramework/ATC_Framework.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterFreeCAD/ATC_FreeCAD.der.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterFreeCAD/ATC_FreeCAD.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterGUI/Glade/GenericATP.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceGUI/Glade/LinkTypeChoice.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceGUI/Glade/NodeChecker.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterGUI/Glade/ProverGUI.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterGUI/Glade/TextField.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceGUI/Glade/Utils.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceHasCASL/ATC_HasCASL.der.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceHasCASL/ATC_HasCASL.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceHaskell/ATC_Haskell.der.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceHaskell/ATC_Haskell.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceHaskell/PreludeString.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceHaskell/TiATC.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceHaskell/TiDecorateATC.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceHaskell/TiPropATC.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterHolLight/ATC_HolLight.der.hs
ac93437301f55ed69bf85883a497a75598c628f9Automatic UpdaterHolLight/ATC_HolLight.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceIsabelle/ATC_Isabelle.der.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceIsabelle/ATC_Isabelle.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceIsabelle/IsaExport.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceIsabelle/export/examples/*.isa
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceIsabelle/export/examples/*.isa.pretty.xml
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceLF/ATC_LF.der.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceLF/ATC_LF.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceMaude/ATC_Maude.der.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceMaude/ATC_Maude.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceModal/AS_Modal.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceModal/ATC_Modal.der.hs
f293a69bcd1c1dd7bdac8f4102fc2398b9e475c8Eric LuceModal/ATC_Modal.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinOMDoc/ATC_OMDoc.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinOMDoc/ATC_OMDoc.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinOWL2/ATC_OWL2.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinOWL2/ATC_OWL2.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinPropositional/AS_BASIC_Propositional.hs
fdd80e9a55c70b36a3bf3e409b86897301c44ff8Automatic UpdaterPropositional/ATC_Propositional.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinPropositional/ATC_Propositional.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinQBF/AS_BASIC_QBF.hs
1224c3b69b3d18f7127aa042644936af25a2d679Mark AndrewsQBF/ATC_QBF.der.hs
1224c3b69b3d18f7127aa042644936af25a2d679Mark AndrewsQBF/ATC_QBF.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinRDF/ATC_RDF.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinRDF/ATC_RDF.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinRelationalScheme/AS.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinRelationalScheme/ATC_RelationalScheme.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinRelationalScheme/ATC_RelationalScheme.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinSoftFOL/ATC_SoftFOL.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinSoftFOL/ATC_SoftFOL.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinSyntax/AS_Architecture.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinSyntax/AS_Library.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinSyntax/AS_Structured.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinTHF/ATC_THF.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinTHF/ATC_THF.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinTHF/As.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinTemporal/ATC_Temporal.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinTemporal/ATC_Temporal.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinVSE/ATC_VSE.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinVSE/ATC_VSE.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinutils/DrIFT
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinutils/DtdToHaskell
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinutils/DtdToHaskell-src/DtdToHaskell/
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinutils/appendHaskellPreludeString
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeinutils/genRules
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinHybrid/ATC_Hybrid.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinTopHybrid/ATC_TopHybrid.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinHybrid/AS_Hybrid.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinHybrid/ATC_Hybrid.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinTopHybrid/AS_TopHybrid.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinTopHybrid/ATC_TopHybrid.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinCSMOF/ATC_CSMOF.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinCSMOF/ATC_CSMOF.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinQVTR/ATC_QVTR.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinQVTR/ATC_QVTR.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinTPTP/AS.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinTPTP/ATC_TPTP.der.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob AusteinTPTP/ATC_TPTP.hs
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeintest/*/*.th
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austeintest/*/*.xml
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein/_dependencies
60e5e10f8d2e2b0c41e8abad38cacd867caa6ab2Rob Austein