Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Removed reference to "thy_data.ML".
authorberghofe
Wed, 06 Aug 1997 00:45:09 +0200
changeset 3612 403db95b54ff
parent 3611 3199f744cf4f
child 3613 5f4c5fec9994
Removed reference to "thy_data.ML".
src/FOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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 \
isabelle