src/HOL/Tools/Presburger/cooper_proof.ML
changeset 19008 14c1b2f5dda4
parent 17985 d5d576b72371
child 19233 77ca20b0ed77