src/HOL/Meson.thy
changeset 39947 f95834c8bb4d
parent 39946 78faa9b31202
child 39948 317010af8972
--- a/src/HOL/Meson.thy	Mon Oct 04 22:45:09 2010 +0200
+++ b/src/HOL/Meson.thy	Mon Oct 04 22:51:53 2010 +0200
@@ -5,7 +5,7 @@
     Copyright   2001  University of Cambridge
 *)
 
-header {* MESON Proof Procedure (Model Elimination) *}
+header {* MESON Proof Method *}
 
 theory Meson
 imports Datatype