src/Pure/Tools/find_consts.ML
changeset 52190 c87b7f26e2c7
parent 51658 21c10672633b
child 52703 d68fd63bf082