changeset 38867 | 23af89f419bb |
parent 38864 | 4abe644fcea5 |
child 43965 | 31945a5034b7 |
--- a/src/HOL/ex/Meson_Test.thy Mon Aug 30 09:37:43 2010 +0200 +++ b/src/HOL/ex/Meson_Test.thy Mon Aug 30 10:01:25 2010 +0200 @@ -10,7 +10,7 @@ below and constants declared in HOL! *} -hide_const (open) eq implies union inter subset sum quotient +hide_const (open) implies union inter subset sum quotient text {* Test data for the MESON proof procedure