src/Pure/item_net.ML
changeset 31448 29090e3111bd
parent 30559 e5987a7ac5df
child 33372 f380fbd6e329
equal deleted inserted replaced
31447:97bab1ac463e 31448:29090e3111bd