--- a/src/HOL/ATP.thy Tue Oct 05 12:06:08 2010 +0200
+++ b/src/HOL/ATP.thy Tue Oct 05 12:50:45 2010 +0200
@@ -3,7 +3,7 @@
Author: Jasmin Blanchette, TU Muenchen
*)
-header {* Sledgehammer: Isabelle--ATP Linkup *}
+header {* Automatic Theorem Provers (ATPs) *}
theory ATP
imports Plain