src/HOL/Plain.thy
changeset 50999 3de230ed0547
parent 47108 2a1953f0d20d