src/Pure/theory.ML
changeset 36951 985c197f2fe9
parent 36610 bafd82950e24
child 39133 70d3915c92f0