src/Pure/global_theory.ML
changeset 45107 76fef3e57004
parent 44304 7ee000ce5390
child 45643 9e49cfe7015d