source: src/joint/ProofUtils.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1471   9 years mulligan finished erasure and generalised so as to work on arbitrary joint programs
(edit) @1470   9 years mulligan finished, pretty ugly though as matita's disambiguation is a …
(edit) @1469   9 years mulligan finished new relabelling for graphs subject to one axiom closed
(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.