Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
hide sum explicitly
authorhaftmann
Fri, 11 Jun 2010 16:52:17 +0200
changeset 37395 fe6262d929a3
parent 37394 92a75e6d938b
child 37404 e6b1a0693f3f
child 37405 7c49988afd0e
child 37411 c88c44156083
hide sum explicitly
src/HOL/ex/Meson_Test.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Meson_Test.thy	Thu Jun 10 12:28:27 2010 +0200
+++ b/src/HOL/ex/Meson_Test.thy	Fri Jun 11 16:52:17 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 sum
 
 text {*
   Test data for the MESON proof procedure
isabelle