# HG changeset patch
# User wenzelm
# Date 1089307966 -7200
# Node ID acf67fa3099893d2ddc850cc76a9ab4c3a5f5628
# Parent  0a84ca4e0f908d2ec5ae2d031052745ba2a59d69
removed obsolete dependency;

diff -r 0a84ca4e0f90 -r acf67fa30998 src/FOL/FOL.thy
--- a/src/FOL/FOL.thy	Tue Jul 06 20:34:49 2004 +0200
+++ b/src/FOL/FOL.thy	Thu Jul 08 19:32:46 2004 +0200
@@ -7,8 +7,7 @@
 
 theory FOL = IFOL
 files
-  ("FOL_lemmas1.ML") ("cladata.ML") ("blastdata.ML")
-  ("simpdata.ML") ("FOL_lemmas2.ML"):
+  ("FOL_lemmas1.ML") ("cladata.ML") ("blastdata.ML") ("simpdata.ML"):
 
 
 subsection {* The classical axiom *}