src/HOL/Library/Library.thy
changeset 21635 32f3e1127de2
parent 21256 47195501ecf7
child 22359 94a794672c8b
     1.1 --- a/src/HOL/Library/Library.thy	Mon Dec 04 15:15:09 2006 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Dec 04 15:15:59 2006 +0100
     1.3 @@ -25,6 +25,7 @@
     1.4    Permutation
     1.5    Primes
     1.6    Quotient
     1.7 +  Ramsey
     1.8    State_Monad
     1.9    While_Combinator
    1.10    Word