1.1 --- a/src/HOL/Library/Library.thy Tue Aug 02 10:36:50 2011 +0200
1.2 +++ b/src/HOL/Library/Library.thy Tue Aug 02 11:52:57 2011 +0200
1.3 @@ -61,6 +61,7 @@
1.4 Sum_of_Squares
1.5 Transitive_Closure_Table
1.6 Univ_Poly
1.7 + Wfrec
1.8 While_Combinator
1.9 Zorn
1.10 begin