src/ZF/intr-elim.ML
changeset 1072 0140ff702b23
parent 70 8a29f8b4aca1