--- a/src/HOL/SMT.thy Tue Aug 09 07:44:17 2011 +0200
+++ b/src/HOL/SMT.thy Tue Aug 09 09:05:21 2011 +0200
@@ -7,7 +7,6 @@
theory SMT
imports Record
uses
- "Tools/lambda_lifting.ML"
"Tools/SMT/smt_utils.ML"
"Tools/SMT/smt_failure.ML"
"Tools/SMT/smt_config.ML"