src/HOL/ATP.thy
changeset 39958 88c9aa5666de
parent 39951 ff60a6e4edfe
child 40121 e7a80c6752c9
     1.1 --- a/src/HOL/ATP.thy	Tue Oct 05 12:06:08 2010 +0200
     1.2 +++ b/src/HOL/ATP.thy	Tue Oct 05 12:50:45 2010 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4      Author:     Jasmin Blanchette, TU Muenchen
     1.5  *)
     1.6  
     1.7 -header {* Sledgehammer: Isabelle--ATP Linkup *}
     1.8 +header {* Automatic Theorem Provers (ATPs) *}
     1.9  
    1.10  theory ATP
    1.11  imports Plain