# 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 *}