src/HOL/Library/Cancellation/cancel.ML
changeset 82902 99a720d3ed8f
parent 80703 cc4ecaa8e96e