Subst/subst.thy
changeset 194 b93cc55cb7ab
parent 48 21291189b51e