src/Pure/theory.ML
changeset 67131 85d10959c2e4
parent 65508 a72ab197e681
child 67380 8bef51521f21