TFL/thms.ML
changeset 19876 11d447d5d68c
parent 11455 e07927b980ec