src/LCF/LCF.thy
changeset 13812 91713a1915ee
parent 3837 d7f033c74b38
child 17248 81bf91654e73