source: src/joint/ProofUtils.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1467   9 years mulligan small change, adding entry and exit labels into the internal function, …
(edit) @1466   9 years mulligan erasure for graph based joint languages almost complete
(edit) @1463   9 years mulligan added erasure for lin
(add) @1458   9 years mulligan added skeleton file for erasure function for joint languages
Note: See TracRevisionLog for help on using the revision log.