src/Pure/thm_deps.ML
changeset 80258 60013c49cedc
parent 77867 686a7d71ed7b
child 80295 8a9588ffc133