src/Pure/logic.ML
changeset 29091 b81fe045e799
parent 28856 5e009a80fe6d
child 29276 94b1ffec9201