doc-src/ZF/IFOL_examples.thy
changeset 46936 571ce2bc0b64
parent 16417 9bc16273c2d4
child 48510 8f3069015441