removed Extraction dependency
authorhaftmann
Wed Nov 22 10:20:11 2006 +0100 (2006-11-22)
changeset 2145303ca07d478be
parent 21452 f825e0b4d566
child 21454 a1937c51ed88
removed Extraction dependency
src/HOL/ATP_Linkup.thy
     1.1 --- a/src/HOL/ATP_Linkup.thy	Wed Nov 22 10:20:09 2006 +0100
     1.2 +++ b/src/HOL/ATP_Linkup.thy	Wed Nov 22 10:20:11 2006 +0100
     1.3 @@ -7,7 +7,7 @@
     1.4  header{* The Isabelle-ATP Linkup *}
     1.5  
     1.6  theory ATP_Linkup
     1.7 -imports Hilbert_Choice Map Extraction
     1.8 +imports Map Hilbert_Choice
     1.9  uses
    1.10    "Tools/polyhash.ML"
    1.11    "Tools/ATP/AtpCommunication.ML"