src/LCF/LCF.thy
changeset 68743 91162dd89571
parent 66453 cc19f7ca2ed6
child 74563 042041c0ebeb
equal deleted inserted replaced
68739:0c62e3b4f4c0 68743:91162dd89571