src/Pure/Thy/thm_database.ML
changeset 23513 2ebb50c0db4f
parent 22144 c33450acd873
child 23921 947152add153