src/LCF/LCF.thy
changeset 15128 da03f05815b0
parent 3837 d7f033c74b38
child 17248 81bf91654e73