source:
src/utilities/binary
@
2248
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| division.ma | 11.2 KB | 1599 | 9 years | Start of merging of stuff into the standard library of Matita. | |
| positive.ma | 29.9 KB | 1628 | 9 years | Show that the universe generated by Clight/fresh.ma is good. | |
| Z.ma | 23.0 KB | 1523 | 9 years | Separate out positive and Z definitions from extralib.ma. Minor syntax … | |
Note: See TracBrowser
for help on using the repository browser.
