src/Pure/global_theory.ML
changeset 41253 42f24340ae53
parent 39557 fe5722fce758
child 41696 f69bb9077b02
equal deleted inserted replaced
41252:4ae674714876 41253:42f24340ae53