feat add Logics/Propositional/Defs#89

thomaskwaring wants to merge 2 commits intoleanprover:mainleanprover/cslib:mainfrom

thomaskwaring:nj-betterthomaskwaring/cslib_SKI:nj-betterCopy head branch name to clipboard