1.1 --- a/src/HOL/Library/Library.thy Tue Nov 26 10:17:14 2013 +0100
1.2 +++ b/src/HOL/Library/Library.thy Tue Nov 26 12:29:31 2013 +0100
1.3 @@ -65,6 +65,7 @@
1.4 Transitive_Closure_Table
1.5 Wfrec
1.6 While_Combinator
1.7 + Zorn
1.8 begin
1.9 end
1.10 (*>*)