TFL/thms.ML
changeset 15890 ff6787d730d5
parent 11455 e07927b980ec