source: src/joint @ 1641

Name Size Rev Age Author Last Change
../
BEGlobalenvs.ma 49.2 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
BEMem.ma 2.9 KB 1419   10 years sacerdot All axioms closed.
BEValues.ma 6.0 KB 1601   10 years sacerdot Files ported to new version of the standard library.
Erasure.ma 11.5 KB 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
Joint.ma 7.3 KB 1601   10 years sacerdot Files ported to new version of the standard library.
Joint_paolo.ma 12.0 KB 1640   9 years tranquil * finished fork of semantics.ma * unification of Errors under the …
semantics.ma 18.3 KB 1601   10 years sacerdot Files ported to new version of the standard library.
semantics_paolo.ma 18.7 KB 1641   9 years tranquil * semanticsUtils_paolo.ma contains code to generate both graph and …
semanticsUtils_paolo.ma 4.1 KB 1641   9 years tranquil * semanticsUtils_paolo.ma contains code to generate both graph and …
SemanticUtils.ma 2.8 KB 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
TranslateUtils.ma 2.4 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
TranslateUtils_paolo.ma 6.5 KB 1640   9 years tranquil * finished fork of semantics.ma * unification of Errors under the …
Note: See TracBrowser for help on using the repository browser.