src/Pure/logic.ML
changeset 3365 86c0d1988622
parent 2508 ce48daa388a7
child 3408 98a2d517cabe