--- a/src/HOL/Library/Library.thy	Tue Aug 02 10:36:50 2011 +0200
+++ b/src/HOL/Library/Library.thy	Tue Aug 02 11:52:57 2011 +0200
@@ -61,6 +61,7 @@
   Sum_of_Squares
   Transitive_Closure_Table
   Univ_Poly
+  Wfrec
   While_Combinator
   Zorn
 begin
changeset 44014	88bd7d74a2c1
parent 44013	5cfc1c36ae97
child 44227	78e033e8ba05