src/HOL/HOLCF/One.thy
changeset 63915 bab633745c7f
parent 62175 8ffc4d0e652d
child 67312 0d25e02759b7