TFL/examples/Subst/UTerm.ML
changeset 2367 eba760ebe315
parent 2113 21266526ac42
equal deleted inserted replaced
2366:a163d2be1bb5 2367:eba760ebe315