src/HOL/Tools/prop_logic.ML
changeset 18986 5060ca625e02
parent 17809 195045659c06
child 20442 04621ea9440e