--- a/src/HOL/Library/Library.thy Fri Jan 16 08:05:03 2009 +0100
+++ b/src/HOL/Library/Library.thy Fri Jan 16 08:28:53 2009 +0100
@@ -1,4 +1,3 @@
-(* $Id$ *)
(*<*)
theory Library
imports
@@ -38,6 +37,7 @@
Ramsey
RBT
State_Monad
+ Univ_Poly
While_Combinator
Word
Zorn