src/HOL/Tools/try0.ML
changeset 57978 8f4a332500e4
parent 56982 51d4189d95cf
child 57918 f5d73caba4e5
equal deleted inserted replaced
57977:113b43b84412 57978:8f4a332500e4