src/Pure/Tools/find_consts.ML
changeset 38950 62578950e748
parent 38336 fd53ae1d4c47
child 42012 2c3fe3cbebae