src/HOL/HOLCF/Discrete.thy
changeset 67022 49309fe530fd
parent 62175 8ffc4d0e652d
child 67312 0d25e02759b7