src/Pure/Tools/find_consts.ML
changeset 33178 70522979c7be
parent 33158 6e3dc0ba2b06
child 33301 1fe9fc908ec3