src/HOL/Tools/refute_isar.ML
changeset 21512 3786eb1b69d6
parent 17273 e95f7141ba2f
child 22092 ab3dfcef6489