src/HOL/ATP.thy
changeset 66364 fa3247e6ee4b
parent 60758 d8d85a8172b5
child 69605 a96320074298
     1.1 --- a/src/HOL/ATP.thy	Mon Aug 07 11:21:07 2017 +0200
     1.2 +++ b/src/HOL/ATP.thy	Mon Aug 07 11:21:11 2017 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  section \<open>Automatic Theorem Provers (ATPs)\<close>
     1.5  
     1.6  theory ATP
     1.7 -imports Meson
     1.8 +  imports Meson
     1.9  begin
    1.10  
    1.11  subsection \<open>ATP problems and proofs\<close>