source: src/joint/

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @1471   10 years mulligan finished erasure and generalised so as to work on arbitrary joint programs
(edit) @1470   10 years mulligan finished, pretty ugly though as matita's disambiguation is a …
(edit) @1469   10 years mulligan finished new relabelling for graphs subject to one axiom closed
(edit) @1467   10 years mulligan small change, adding entry and exit labels into the internal function, …
(edit) @1466   10 years mulligan erasure for graph based joint languages almost complete
(edit) @1463   10 years mulligan added erasure for lin
(add) @1458   10 years mulligan added skeleton file for erasure function for joint languages
Note: See TracRevisionLog for help on using the revision log.