src/HOL/plain.ML
changeset 41654 32fe42892983
parent 37694 19e8b730ddeb