src/Pure/Thy/thm_database.ML
changeset 24850 0cfd722ab579
parent 23921 947152add153
child 25699 891fe6b71d3b