src/HOL/Tools/prop_logic.ML
changeset 20328 5b240a4216b0
parent 17809 195045659c06
child 20442 04621ea9440e