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.
hiding enum
authorbulwahn
Mon, 22 Nov 2010 11:35:11 +0100
changeset 40659 b26afaa55a75
parent 40658 5ccfc3ee7fe6
child 40660 86a1f61d260e
hiding enum
src/HOL/Enum.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Enum.thy	Mon Nov 22 11:35:09 2010 +0100
+++ b/src/HOL/Enum.thy	Mon Nov 22 11:35:11 2010 +0100
@@ -453,6 +453,6 @@
 
 
 hide_type finite_1 finite_2 finite_3 finite_4 finite_5
-hide_const (open) n_lists product
+hide_const (open) enum n_lists product
 
 end
isabelle