src/HOL/Tools/refute_isar.ML
changeset 40396 c4c6fa6819aa
parent 39048 4006f5c3f421