source: src/joint @ 1547

Name Size Rev Age Author Last Change
../
TranslateUtils.ma 2.6 KB 1521   10 years sacerdot Syntax change in Matita: change what where => change where what.
SemanticUtils.ma 2.8 KB 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
BEMem.ma 2.9 KB 1419   10 years sacerdot All axioms closed.
BEValues.ma 6.0 KB 1516   10 years sacerdot Ported to syntax of Matita 0.99.1.
Joint.ma 7.4 KB 1471   10 years mulligan finished erasure and generalised so as to work on arbitrary joint programs
Erasure.ma 11.5 KB 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
semantics.ma 18.3 KB 1457   10 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
BEGlobalenvs.ma 49.2 KB 1408   10 years sacerdot 1. Added joint/BEGlobalenvs that is a modification of …
Note: See TracBrowser for help on using the repository browser.