source: src/joint/Erasure.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2103   7 years campbell Make transform_*program take a more general transformation to make …
(edit) @1515   8 years campbell Add type of maps on positive binary numbers, and use them for …
(copy) @1472   8 years mulligan moved proof utils to erasure.ma
copied from src/joint/ProofUtils.ma:
(edit) @1471   8 years mulligan finished erasure and generalised so as to work on arbitrary joint programs
Note: See TracRevisionLog for help on using the revision log.