source:
src/utilities/binary
@
1600
| 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 | 29.5 KB | 1587 | 9 years | changes from today, including removing indexing of problematic … | |
| 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.
