src/Pure/theory_data.ML
changeset 6019 0e55c2fb2ebb
parent 5642 1b3e48bdbb93
child 6546 995a66249a9b