src/HOL/ex/Meson_Test.thy
changeset 38864 4abe644fcea5
parent 38786 e46e7a9cb622
child 38867 23af89f419bb
     1.1 --- a/src/HOL/ex/Meson_Test.thy	Sat Aug 28 20:24:40 2010 +0800
     1.2 +++ b/src/HOL/ex/Meson_Test.thy	Sat Aug 28 16:14:32 2010 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4    below and constants declared in HOL!
     1.5  *}
     1.6  
     1.7 -hide_const (open) implies union inter subset sum quotient 
     1.8 +hide_const (open) eq implies union inter subset sum quotient 
     1.9  
    1.10  text {*
    1.11    Test data for the MESON proof procedure