src/HOLCF/Fun2.thy
changeset 10567 e7c9900cca4d
parent 2640 ee4dfce170a0
child 12030 46d57d0290a2
equal deleted inserted replaced
10566:7ed4f5a6c63f 10567:e7c9900cca4d