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/Cardinals/Wellorder_Relation.thy
changeset 55173 5556470a02b7
parent 55102 761e40ce91bc
child 58889 5b7a9633cfa8 
--- a/src/HOL/Cardinals/Wellorder_Relation.thy	Thu Jan 30 01:03:55 2014 +0100
+++ b/src/HOL/Cardinals/Wellorder_Relation.thy	Thu Jan 30 12:27:42 2014 +0100
@@ -530,6 +530,5 @@
 abbreviation "max2 \<equiv> wo_rel.max2"
 abbreviation "supr \<equiv> wo_rel.supr"
 abbreviation "suc \<equiv> wo_rel.suc"
-abbreviation "ofilter \<equiv> wo_rel.ofilter"
 
 end
isabelle