src/Pure/theory.ML
changeset 66695 91500c024c7f
parent 65508 a72ab197e681
child 67380 8bef51521f21