src/HOLCF/Fun1.thy
changeset 13492 6aae8eb39a18
parent 12338 de0f4a63baa5
child 14981 e73f8140af78
equal deleted inserted replaced
13491:ddf6ae639f21 13492:6aae8eb39a18