Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Make standard library independent of the names generated by | 2014-06-04 | |
* | Making those proofs which depend on names generated for the arguments | 2014-06-01 | |
* | Remove some uses of excluded middle. | 2014-04-22 | |
* | Fix statement of Rplus_lt_reg_r and add Rplus_lt_reg_l. | 2013-12-03 | |
* | Updating headers. | 2012-08-08 | |
* | Some cleanup in recent proofs concerning pi | 2012-07-05 | |
* | These files are displaced from Rtrigo.v and Ranalysis_reg.v | 2012-06-11 |