summaryrefslogtreecommitdiff
path: root/Proof/Propositional/TH.hs
Commit message (Expand)AuthorAge
* version 0.6.0.20.6.0.2HiromiIshii2020-03-26
* version 0.6.0.10.6.0.1HiromiIshii2020-01-25
* version 0.5.1.10.5.1.1HiromiIshii2019-01-04
* version 0.5.1.00.5.1.0HiromiIshii2018-03-09
* version 0.4.0.00.4.0.0HiromiIshii2016-07-27