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