src/HOL/Library/Library.thy
changeset 29987 391dcbd7e4dd
parent 29986 6b1ccda8bf19
child 29993 84b2c432b94a
equal deleted inserted replaced
29986:6b1ccda8bf19 29987:391dcbd7e4dd
    35   OptionalSugar
    35   OptionalSugar
    36   Option_ord
    36   Option_ord
    37   Permutation
    37   Permutation
    38   Pocklington
    38   Pocklington
    39   Poly_Deriv
    39   Poly_Deriv
       
    40   Polynomial
    40   Primes
    41   Primes
    41   Quickcheck
    42   Quickcheck
    42   Quicksort
    43   Quicksort
    43   Quotient
    44   Quotient
    44   Ramsey
    45   Ramsey