.gitignore revision af313f59287bea73d6e453a1bdb397c3f68c3160
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroeder*.hi
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroeder*.o
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroeder*.der.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC_*.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederAS_*.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroederhets
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroeder
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/Consistency.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/DefaultMorphism.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/DevGraph.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/DgUtils.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/ExtSign.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/GlobalAnnotations.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/Graph.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/Grothendieck.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/Id.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/LibName.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/OrderedMap.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/ProofTree.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/Prover.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/Result.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederATC/XGraph.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederDriver/Version.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederFpl/As.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederGUI/Glade/GenericATP.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederGUI/Glade/LinkTypeChoice.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederGUI/Glade/NodeChecker.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederGUI/Glade/ProverGUI.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederGUI/Glade/TextField.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederGUI/Glade/Utils.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von SchroederRelationalScheme/AS.hs
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroederutils/DrIFT
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroederutils/appendHaskellPreludeString
af313f59287bea73d6e453a1bdb397c3f68c3160Jonathan von Schroederutils/genRules