source: src/ASM/ASMCostsSplit.ma

Revision Log Mode:


Legend:

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