src/HOLCF/Cfun1.thy
changeset 15326 ff21cddee442
parent 14981 e73f8140af78
child 15566 eb3b1a5c304e
equal deleted inserted replaced
15325:50ac7d2c34c9 15326:ff21cddee442