source: src/utilities/binary @ 2949

Name Size Rev Age Author Last Change
../
Z.ma 23.0 KB 1523   9 years campbell Separate out positive and Z definitions from extralib.ma. Minor syntax …
positive.ma 32.6 KB 2310   8 years garnier Moved a lemma from switchRemoval to positive.
division.ma 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.