src/HOL/ATP.thy
changeset 57714 4856a7b8b9c3
parent 57709 9cda0c64c37a
child 58142 d6a2e3567f95
     1.1 --- a/src/HOL/ATP.thy	Wed Jul 30 14:03:13 2014 +0200
     1.2 +++ b/src/HOL/ATP.thy	Wed Jul 30 14:03:13 2014 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  header {* Automatic Theorem Provers (ATPs) *}
     1.5  
     1.6  theory ATP
     1.7 -imports Meson Hilbert_Choice
     1.8 +imports Meson
     1.9  begin
    1.10  
    1.11  subsection {* ATP problems and proofs *}