xref/hets/.gitignore

d24f45d9257685c7b1ad34a2a675b7ff35fb9398cmaeder*~
d4e7da6e9164ba18433755b68bbc8bc6354f0c04Eugen Kuksa*.DS_Store
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroeder*.hi
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroeder*.o
167d70cbaefa2fcc045ffde6fb4b826524c1c7a9Christian Maeder*.dyn_hi
167d70cbaefa2fcc045ffde6fb4b826524c1c7a9Christian Maeder*.dyn_o
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner.*.swp
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner.hets*
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner*.bin
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerhets
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerhets_server
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerhets.cgi
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerrev.txt
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elkner*.orig
4c7cb5671b356d873d67829ec8062a5083c1ee0eEugen Kuksa.stack-work/
6a6306c583c71d23b47101b59d7c9348d181ba57Eugen Kuksastack
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdoc/*.aux
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdoc/*.bbl
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdoc/*.blg
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdoc/*.fdb_latexmk
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdoc/*.fls
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdoc/*.log
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdoc/*.out
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdoc/UserGuide.pdf
73677326fdbc1d154208000f6f37d7524d8f90cfJens Elknerdoc/hs2isa.ps
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdocs/
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerprogramatica/
730ccc63c301363853cba9286760d511b456671eChristian MaederOWL2/*.jar
730ccc63c301363853cba9286760d511b456671eChristian MaederOWL2/java/build/
a84a8d508a0778b13a4d097a6dd34b95feae78acJens ElknerOWL2/java/tmp/
730ccc63c301363853cba9286760d511b456671eChristian MaederOWL2/lib/
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknertmp/
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksadist/
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdebian/changelog*
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdebian/root
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdebian/files
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdebian/hets-*
a84a8d508a0778b13a4d097a6dd34b95feae78acJens Elknerdebian/tmp
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 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 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
5d8372f2459037830704c3f48d2b566ee1f35e31cmaederQVTR/ATC_QVTR.der.hs
5d8372f2459037830704c3f48d2b566ee1f35e31cmaederQVTR/ATC_QVTR.hs
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen KuksaTPTP/AS.hs
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen KuksaTPTP/ATC_TPTP.der.hs
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen KuksaTPTP/ATC_TPTP.hs
73677326fdbc1d154208000f6f37d7524d8f90cfJens Elknertest/*/*.th
73677326fdbc1d154208000f6f37d7524d8f90cfJens Elknertest/*/*.xml
a389e88e0acb83d8489bdc5e55bc5522b152bbecEugen Kuksa/_dependencies