xref/hets/.gitignore

	.gitignore revision c4bde2535072913af1267c3a0779d7e254d6f282
*.hi
*.o
*.der.hs
ATC_*.hs
AS_*.hs
As.hs
hets

Isabelle/IsaExport.hs

utils/DtdToHaskell
utils/DtdToHaskell-src/DtdToHaskell/

ATC/IRI.hs
ATC/Consistency.hs
ATC/DefaultMorphism.hs
ATC/DevGraph.hs
ATC/DgUtils.hs
ATC/ExtSign.hs
ATC/GlobalAnnotations.hs
ATC/Graph.hs
ATC/Grothendieck.hs
ATC/Id.hs
ATC/LibName.hs
ATC/OrderedMap.hs
ATC/ProofTree.hs
ATC/Prover.hs
ATC/Result.hs
ATC/XGraph.hs
Driver/Version.hs
Fpl/As.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
Haskell/PreludeString.hs
Haskell/TiATC.hs
Haskell/TiDecorateATC.hs
Haskell/TiPropATC.hs
RelationalScheme/AS.hs
utils/DrIFT
utils/appendHaskellPreludeString
utils/genRules