src/Pure/logic.ML
changeset 1194 563ecd14c1d8
parent 637 b344bf624143
child 1458 fd510875fb71