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/Library/Library.thy
changeset 54545 483131676087
parent 54220 0e6645622f22
child 54590 acb41098607a 
--- a/src/HOL/Library/Library.thy	Wed Nov 20 21:28:58 2013 +0100
+++ b/src/HOL/Library/Library.thy	Wed Nov 20 23:14:06 2013 +0100
@@ -41,7 +41,6 @@
   Numeral_Type
   OptionalSugar
   Option_ord
-  Order_Union
   Parallel
   Permutation
   Permutations
@@ -66,7 +65,6 @@
   Transitive_Closure_Table
   Wfrec
   While_Combinator
-  Zorn
 begin
 end
 (*>*)
isabelle