TFL/thms.ML
changeset 16042 8e15ff79851a
parent 11455 e07927b980ec