src/LCF/LCF.thy
changeset 2010 0a22b9d63a18
parent 1474 3f7d67927fe2
child 3837 d7f033c74b38