changeset 37595 | 9591362629e3 |
parent 37370 | fe6262d929a3 |
child 37777 | 22107b894e5a |
1.1 --- a/src/HOL/ex/Meson_Test.thy Fri Jun 25 07:19:21 2010 +0200 1.2 +++ b/src/HOL/ex/Meson_Test.thy Mon Jun 28 15:32:06 2010 +0200 1.3 @@ -16,7 +16,7 @@ 1.4 below and constants declared in HOL! 1.5 *} 1.6 1.7 -hide_const (open) subset member quotient union inter sum 1.8 +hide_const (open) subset quotient union inter sum 1.9 1.10 text {* 1.11 Test data for the MESON proof procedure