TFL/utils.ML
changeset 11729 a7da2e8b5762
parent 10769 70b9b0cfe05f
child 16854 fdd362b7e980