src/HOLCF/Ssum.thy
changeset 24854 0ebcd575d3c6
parent 19440 b2877e230b07
child 25131 2c8caac48ade