source: src/utilities/binary @ 1515

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