aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Logic/ExtensionalityFacts.v
Commit message (Expand)AuthorAge
* theories/, plugins/ and test-suite/ ported to the Arguments vernacularGravatar gareuselesinge2011-11-21
* Removing vernacular code mistakenly committed.Gravatar herbelin2011-10-05
* Some facts about functional extensionality (especially alternativeGravatar herbelin2011-07-16