source: LTS @ 3534

Name Size Rev Age Author Last Change
../
DICE2014 3478   6 years piccolo fixed costlabels
Language.ma 133.8 KB 3531   6 years piccolo new notion of measurable: some lemmas are still broken
Vm.ma 52.9 KB 3524   6 years piccolo rearrangments of lemmas, final statement in place
Traces.ma 39.4 KB 3531   6 years piccolo new notion of measurable: some lemmas are still broken
imp.ma 26.7 KB 3534   6 years pellitta abitato record di tipo instr_params
Simulation.ma 21.5 KB 3531   6 years piccolo new notion of measurable: some lemmas are still broken
Permutation.ma 7.7 KB 3527   6 years piccolo fixed permutation axioms
Final.ma 4.5 KB 3531   6 years piccolo new notion of measurable: some lemmas are still broken
costs.ma 2.5 KB 3524   6 years piccolo rearrangments of lemmas, final statement in place
paper.txt 1.3 KB 3413   7 years sacerdot
root 30 bytes 3373   8 years sacerdot
Note: See TracBrowser for help on using the repository browser.