src/FOL/IsaMakefile
changeset 2889 a86f3b5f3cc7
parent 2821 b1dcacc4bc26
child 3118 24dae6222579
--- a/src/FOL/IsaMakefile	Fri Apr 04 11:16:44 1997 +0200
+++ b/src/FOL/IsaMakefile	Fri Apr 04 11:17:05 1997 +0200
@@ -8,7 +8,7 @@
 
 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/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