src/HOL/Integ/cooper_proof.ML
changeset 18851 9502ce541f01
parent 17985 d5d576b72371
child 19233 77ca20b0ed77