changeset 36907 | 9063a5b2b2bb |
parent 36176 | 3fe7e97ccca8 |
child 37124 | fe22fc54b876 |
--- a/src/HOL/ex/Meson_Test.thy Thu May 13 14:47:15 2010 +0200 +++ b/src/HOL/ex/Meson_Test.thy Thu May 13 15:09:42 2010 +0200 @@ -16,7 +16,7 @@ below and constants declared in HOL! *} -hide_const (open) subset member quotient union inter +hide_const (open) subset member quotient union inter "apply" text {* Test data for the MESON proof procedure