source:
src/utilities/binary
@
2497
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| Z.ma | 23.0 KB | 1523 | 9 years | Separate out positive and Z definitions from extralib.ma. Minor syntax … | |
| positive.ma | 32.6 KB | 2310 | 9 years | Moved a lemma from switchRemoval to positive. | |
| division.ma | 11.2 KB | 1599 | 9 years | Start of merging of stuff into the standard library of Matita. | |
Note: See TracBrowser
for help on using the repository browser.
