source: src/ASM/ASMCostsSplit.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1946   8 years sacerdot \snd half_add => add everywhere
(edit) @1929   8 years mulligan Simplified proof by removing most of the invariants on the statements …
(edit) @1928   8 years mulligan Moved code from in ASM/ASMCosts*.ma and ASM/CostsProof.ma that should …
(edit) @1921   8 years mulligan Horror proof mostly finished (compiles all way until end of CostsProof?.ma).
(edit) @1919   8 years mulligan Fixes to get everything compiling again
(edit) @1899   8 years mulligan Changes to statements of theorems
(edit) @1897   8 years mulligan Changes to proof, and pushed through those changes to rest of the file.
(edit) @1896   8 years mulligan Finished horror proof
(add) @1895   8 years mulligan Split the ASMCosts files while working on traverse_code_internal. A …
Note: See TracRevisionLog for help on using the revision log.