Subst/UTerm.thy
changeset 68 acad709cad5d
parent 48 21291189b51e
child 126 872f866e630f
equal deleted inserted replaced
67:bea4ea912838 68:acad709cad5d