source: src/utilities/binary @ 1515

Name Size Rev Age Author Last Change
../
positive.ma 29.0 KB 1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
Z.ma 16.9 KB 891   10 years campbell Revise proofs affected by recent matita change.
Note: See TracBrowser for help on using the repository browser.