src/HOL/Plain.thy
changeset 47988 e4b69e10b990
parent 47108 2a1953f0d20d