src/HOL/HOLCF/Ssum.thy
changeset 66695 91500c024c7f
parent 62175 8ffc4d0e652d
child 67312 0d25e02759b7