source: src/joint @ 1471

Name Size Rev Age Author Last Change
../
BEGlobalenvs.ma 49.2 KB 1408   10 years sacerdot 1. Added joint/BEGlobalenvs that is a modification of …
BEMem.ma 2.9 KB 1419   10 years sacerdot All axioms closed.
BEValues.ma 6.0 KB 1395   10 years sacerdot 1) New versions of pointer_of_beval/beval_of_pointer with a stricter …
Joint.ma 7.4 KB 1471   10 years mulligan finished erasure and generalised so as to work on arbitrary joint programs
ProofUtils.ma 12.6 KB 1471   10 years mulligan finished erasure and generalised so as to work on arbitrary joint programs
semantics.ma 18.3 KB 1457   10 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
SemanticUtils.ma 2.8 KB 1452   10 years sacerdot Bug fixed: labels MUST be represented as pointers whose block is the …
TranslateUtils.ma 2.7 KB 1352   10 years sacerdot This commit is made necessary by the last Matita change. Inclusion is …
Note: See TracBrowser for help on using the repository browser.