source: src/utilities/binary @ 1651

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