src/HOLCF/tr2.thy
changeset 7839 03fd460cb8b8
parent 243 c22b85994e17