src/LCF/LCF.thy
changeset 2010 0a22b9d63a18
parent 1474 3f7d67927fe2
child 3837 d7f033c74b38
equal deleted inserted replaced
2009:9023e474d22a 2010:0a22b9d63a18