src/ZF/intr_elim.ML
changeset 2045 ae1030e66745
parent 2033 639de962ded4
child 2266 82aef6857c5b