Subst/Subst.thy
changeset 156 fd1be45b64bf
parent 48 21291189b51e
child 249 492493334e0f
equal deleted inserted replaced
155:722bf1319be5 156:fd1be45b64bf