src/HOL/Refute.thy
changeset 44311 42c5cbf68052
parent 40178 00152d17855b
child 46950 d0181abdbdac