src/HOL/SMT.thy
changeset 44087 8e491cb8841c
parent 43929 61d432e51aff
child 44488 587bf61a00a1
     1.1 --- a/src/HOL/SMT.thy	Tue Aug 09 07:44:17 2011 +0200
     1.2 +++ b/src/HOL/SMT.thy	Tue Aug 09 09:05:21 2011 +0200
     1.3 @@ -7,7 +7,6 @@
     1.4  theory SMT
     1.5  imports Record
     1.6  uses
     1.7 -  "Tools/lambda_lifting.ML"
     1.8    "Tools/SMT/smt_utils.ML"
     1.9    "Tools/SMT/smt_failure.ML"
    1.10    "Tools/SMT/smt_config.ML"