src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Tue Aug 02 10:03:14 2011 +0200
+++ b/src/HOL/Library/Library.thy	Tue Aug 02 10:36:50 2011 +0200
@@ -39,6 +39,7 @@
   Multiset
   Nested_Environment
   Numeral_Type
+  Old_Recdef
   OptionalSugar
   Option_ord
   Permutation