source: src/utilities/binary/division.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1599   8 years sacerdot Start of merging of stuff into the standard library of Matita.
(edit) @1528   8 years campbell Update most of Assembly.ma with new syntax and identifier maps. Change …
(add) @1523   8 years campbell Separate out positive and Z definitions from extralib.ma. Minor syntax …
Note: See TracRevisionLog for help on using the revision log.