source: src/utilities/binary @ 2919

Name Size Rev Age Author Last Change
../ 11.2 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita. 32.6 KB 2310   9 years garnier Moved a lemma from switchRemoval to positive. 23.0 KB 1523   10 years campbell Separate out positive and Z definitions from Minor syntax …
Note: See TracBrowser for help on using the repository browser.