TFL/thms.ML
changeset 16823 13f3768a6f14
parent 11455 e07927b980ec