Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | Stop using a "Manual Implicit Arguments" flag and support them as soon | msozeau | 2009-05-27 |
* | Move FunctionalExtensionality to Logic/ (someone please check that the | msozeau | 2008-12-16 |