Nominal/Manual/Term5n.thy
changeset 1723 1cd509cba23f
parent 1664 aa999d263b10
equal deleted inserted replaced
1722:05843094273e 1723:1cd509cba23f