src/HOL/Tools/prop_logic.ML
changeset 57978 8f4a332500e4
parent 55436 9781e17dcc23
child 58322 f13f6e27d68e