src/Pure/Isar/find_theorems.ML
changeset 25456 6f79698f294d
parent 25226 502d8676cdd6
child 25992 928594f50893