src/HOL/Tools/prop_logic.ML
changeset 58646 cd63a4b12a33
parent 58322 f13f6e27d68e
child 61332 22378817612f