source: src/joint @ 1948

Name Size Rev Age Author Last Change
../
TranslateUtils.ma 2.4 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
SemanticUtils.ma 2.8 KB 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
BEValues.ma 6.0 KB 1874   9 years campbell First cut at using back-end memory model throughout. Note the …
BEMem.ma 7.3 KB 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
Joint.ma 7.3 KB 1601   10 years sacerdot Files ported to new version of the standard library.
blocks.ma 8.9 KB 1908   9 years fguidi notation fixup following last commit of matita we shifted the levels …
semanticsUtils_paolo.ma 8.9 KB 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
semantics_blocks.ma 10.3 KB 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
Erasure.ma 11.5 KB 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
Joint_paolo.ma 17.7 KB 1908   9 years fguidi notation fixup following last commit of matita we shifted the levels …
semantics.ma 18.3 KB 1601   10 years sacerdot Files ported to new version of the standard library.
semantics_paolo.ma 28.9 KB 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
TranslateUtils_paolo.ma 30.6 KB 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
BEGlobalenvs.ma 49.2 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
Note: See TracBrowser for help on using the repository browser.