src/Pure/skip_proof.ML
changeset 62337 d3996d5873dd
parent 61527 d05f3d86a758
child 64556 851ae0e7b09c