Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/FOL/Makefile
changeset 2889 a86f3b5f3cc7
parent 2469 b50b8c0eec01 
--- a/src/FOL/Makefile	Fri Apr 04 11:16:44 1997 +0200
+++ b/src/FOL/Makefile	Fri Apr 04 11:17:05 1997 +0200
@@ -21,10 +21,10 @@
 
 BIN = $(ISABELLEBIN)
 COMP = $(ISABELLECOMP)
-FILES =	 ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \
-	 thy_data.ML cladata.ML \
-	 ../Provers/hypsubst.ML ../Provers/classical.ML \
-	 ../Provers/simplifier.ML ../Provers/splitter.ML ../Provers/ind.ML
+FILES =	ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \
+	thy_data.ML cladata.ML \
+	../Provers/hypsubst.ML ../Provers/classical.ML ../Provers/blast.ML \
+	../Provers/simplifier.ML ../Provers/splitter.ML ../Provers/ind.ML
 
 EX_NAMES = If List Nat Nat2 Prolog declIffOracle IffOracle
 EX_FILES = ex/ROOT.ML ex/cla.ML ex/foundn.ML  ex/int.ML ex/intro.ML\
isabelle