src/HOL/Library/Library.thy
changeset 29504 4c3441f2f619
parent 29399 ebcd69a00872
child 29650 cc3958d31b1d
     1.1 --- a/src/HOL/Library/Library.thy	Fri Jan 16 08:05:03 2009 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Fri Jan 16 08:28:53 2009 +0100
     1.3 @@ -1,4 +1,3 @@
     1.4 -(* $Id$ *)
     1.5  (*<*)
     1.6  theory Library
     1.7  imports
     1.8 @@ -38,6 +37,7 @@
     1.9    Ramsey
    1.10    RBT
    1.11    State_Monad
    1.12 +  Univ_Poly
    1.13    While_Combinator
    1.14    Word
    1.15    Zorn