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 filter
authornipkow
Wed, 06 Jun 2007 19:12:40 +0200
changeset 23280 4e61c67a87e3
parent 23279 e39dd93161d9
child 23281 e26ec695c9b3
hide filter
src/HOL/Hyperreal/Filter.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Hyperreal/Filter.thy	Wed Jun 06 19:12:07 2007 +0200
+++ b/src/HOL/Hyperreal/Filter.thy	Wed Jun 06 19:12:40 2007 +0200
@@ -402,4 +402,6 @@
 
 lemmas freeultrafilter_Ex = UFT.freeultrafilter_ex
 
+hide (open) const filter
+
 end
isabelle