src/HOLCF/Ssum2.thy
changeset 5400 645f46a24c72
parent 2640 ee4dfce170a0
child 12030 46d57d0290a2