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