--- 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