source: src/joint/Erasure.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(copy) @1472   9 years mulligan moved proof utils to erasure.ma
copied from src/joint/ProofUtils.ma:
(edit) @1471   9 years mulligan finished erasure and generalised so as to work on arbitrary joint programs
Note: See TracRevisionLog for help on using the revision log.