Commit History

Author SHA1 Message Date
  Clemsim efce1e33c1 Start of Propositional Logics 2 years ago