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.
Fix syntax; apparently constant apply was introduced in an earlier changeset.
authorballarin
Thu, 13 May 2010 15:09:42 +0200
changeset 36907 9063a5b2b2bb
parent 36906 9eff24f4e5db
child 36908 fb18db78be80
Fix syntax; apparently constant apply was introduced in an earlier changeset.
src/HOL/ex/Meson_Test.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Meson_Test.thy	Thu May 13 14:47:15 2010 +0200
+++ b/src/HOL/ex/Meson_Test.thy	Thu May 13 15:09:42 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 "apply"
 
 text {*
   Test data for the MESON proof procedure
isabelle