Subst/UTLemmas.ML
changeset 48 21291189b51e
parent 0 7949f97df77a
child 124 ee29edc644e8