src/Pure/pure_setup.ML
changeset 41648 6d736d983d5c
parent 41415 23533273220a
child 41718 05514b09bb4b
equal deleted inserted replaced
41647:5e70526a1947 41648:6d736d983d5c