# HG changeset patch
# User berghofe
# Date 870821109 -7200
# Node ID 403db95b54ff73e90e28ab76a2830f04ed546f64
# Parent  3199f744cf4f8ea2da3d82144b551203a997a2b6
Removed reference to "thy_data.ML".

diff -r 3199f744cf4f -r 403db95b54ff src/FOL/IsaMakefile
--- a/src/FOL/IsaMakefile	Wed Aug 06 00:44:25 1997 +0200
+++ b/src/FOL/IsaMakefile	Wed Aug 06 00:45:09 1997 +0200
@@ -10,7 +10,7 @@
 	simplifier.ML splitter.ML ind.ML 
 
 FILES =	ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \
-	thy_data.ML cladata.ML $(PROVERS:%=../Provers/%)
+	cladata.ML $(PROVERS:%=../Provers/%)
 
 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 \