src/Pure/goal.ML
changeset 66695 91500c024c7f
parent 65458 cf504b7a7aa7
child 67721 5348bea4accd