src/HOL/Library/Library.thy
changeset 26122 76cbf193c09d
parent 25899 f344ff9e2041
child 26157 4d9d0a26c32a
equal deleted inserted replaced
26121:d4fbf84a6636 26122:76cbf193c09d
    34   Primes
    34   Primes
    35   Quicksort
    35   Quicksort
    36   Quotient
    36   Quotient
    37   Ramsey
    37   Ramsey
    38   State_Monad
    38   State_Monad
       
    39   Univ_Poly
    39   While_Combinator
    40   While_Combinator
    40   Word
    41   Word
    41   Zorn
    42   Zorn
    42 begin
    43 begin
    43 end
    44 end