TFL/utils.ML
changeset 17440 df77edc4f5d0
parent 16854 fdd362b7e980