doc-src/ZF/If.thy
changeset 27094 2cf13a72e170
parent 19792 e8e3da6d3ff7
child 35416 d8d7d1b785af