source: C-semantics/binary @ 400

Name Size Rev Age Author Last Change
../
positive.ma 32.2 KB 10   9 years campbell Add binary arithmetic libraries, use for integers and identifiers (but …
Z.ma 18.9 KB 400   9 years campbell Minor changes for the new version of matita.
Note: See TracBrowser for help on using the repository browser.