Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Hyperreal/Filter.thy
changeset 23280 4e61c67a87e3
parent 21854 42e9fd3ec1a3
child 23441 ee218296d635 
--- 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