src/HOL/Tools/prop_logic.ML
changeset 19599 a5c7eb37d14f
parent 17809 195045659c06
child 20442 04621ea9440e