aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Logic/PropExtensionalityFacts.v
Commit message (Expand)AuthorAge
* Logic library: Adding a characterization of excluded-middle in term ofGravatar Hugo Herbelin2017-03-03
* Fixing unexpected "noise" introduced in commit 24d5448c.Gravatar Hugo Herbelin2016-10-06
* More tests for tactic "subst".Gravatar Hugo Herbelin2016-10-02