src/HOL/Tools/prop_logic.ML
changeset 60642 48dd1cefb4ae
parent 58322 f13f6e27d68e
child 61332 22378817612f
equal deleted inserted replaced
60641:f6e8293747fd 60642:48dd1cefb4ae