Uses Univ_Poly.thy
authorchaieb
Mon Feb 25 11:27:08 2008 +0100 (2008-02-25)
changeset 2612276cbf193c09d
parent 26121 d4fbf84a6636
child 26123 44384b5c4fc0
Uses Univ_Poly.thy
src/HOL/Library/Library.thy
     1.1 --- a/src/HOL/Library/Library.thy	Mon Feb 25 11:27:07 2008 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Feb 25 11:27:08 2008 +0100
     1.3 @@ -36,6 +36,7 @@
     1.4    Quotient
     1.5    Ramsey
     1.6    State_Monad
     1.7 +  Univ_Poly
     1.8    While_Combinator
     1.9    Word
    1.10    Zorn