source: src/utilities/binary @ 1948

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