src/Pure/Thy/thm_deps.ML
changeset 55431 e0f20a44ff9d
parent 49561 26fc70e983c2