src/Pure/goal.ML
changeset 66787 64b47495676d
parent 65458 cf504b7a7aa7
child 67721 5348bea4accd