added Ramsey.thy to Library imports, to include it in the daily builds
authorkrauss
Mon Dec 04 15:15:59 2006 +0100 (2006-12-04)
changeset 2163532f3e1127de2
parent 21634 369e38e35686
child 21636 88b815dca68d
added Ramsey.thy to Library imports, to include it in the daily builds
src/HOL/Library/Library.thy
     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