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.
make test work again (broken since 09467cdfa198?)
authorblanchet
Fri, 11 Jun 2010 18:05:05 +0200
changeset 37401 e8c34222814b
parent 37400 cf5e06d5ecaf
child 37402 12cb33916e37
make test work again (broken since 09467cdfa198?)
src/HOL/ex/Meson_Test.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Meson_Test.thy	Fri Jun 11 17:57:16 2010 +0200
+++ b/src/HOL/ex/Meson_Test.thy	Fri Jun 11 18:05:05 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