intr_elim.ML
changeset 145 a9f7ff3a464c
parent 140 f745ff8bdb91
child 152 7d8781fc2c8e