changeset 26732 | 6ea9de67e576 |
parent 26513 | 6f306c8c2c54 |
child 32135 | f645b51e8e54 |
--- a/src/HOL/ex/Meson_Test.thy Tue Apr 22 08:33:13 2008 +0200 +++ b/src/HOL/ex/Meson_Test.thy Tue Apr 22 08:33:16 2008 +0200 @@ -11,8 +11,7 @@ below and constants declared in HOL! *} -hide const subset member quotient eq -hide const eq +hide const subset member quotient text {* Test data for the MESON proof procedure