src/HOL/HOLCF/Discrete.thy
changeset 46460 68cf3d3550b5
parent 42151 4da4fc77664b
child 58249 180f1b3508ed
equal deleted inserted replaced
46459:73823dbbecc4 46460:68cf3d3550b5