src/HOL/Library/Library.thy
changeset 44014 88bd7d74a2c1
parent 44013 5cfc1c36ae97
child 44227 78e033e8ba05
     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