doc-src/ZF/IFOL_examples.thy
changeset 41064 0c447a17770a
parent 16417 9bc16273c2d4
child 48510 8f3069015441
equal deleted inserted replaced
41063:0828bfa70b20 41064:0c447a17770a