source: LTS @ 3530

Name Size Rev Age Author Last Change
../
DICE2014 3478   5 years piccolo fixed costlabels
costs.ma 2.5 KB 3524   5 years piccolo rearrangments of lemmas, final statement in place
Final.ma 4.2 KB 3524   5 years piccolo rearrangments of lemmas, final statement in place
imp.ma 24.7 KB 3530   5 years pellitta prova in corso lemma che il predicato sul tipo expr corrisponde …
Language.ma 132.0 KB 3527   5 years piccolo fixed permutation axioms
paper.txt 1.3 KB 3413   6 years sacerdot
Permutation.ma 7.7 KB 3527   5 years piccolo fixed permutation axioms
root 30 bytes 3373   6 years sacerdot
Simulation.ma 17.0 KB 3524   5 years piccolo rearrangments of lemmas, final statement in place
Traces.ma 39.4 KB 3524   5 years piccolo rearrangments of lemmas, final statement in place
Vm.ma 52.9 KB 3524   5 years piccolo rearrangments of lemmas, final statement in place
Note: See TracBrowser for help on using the repository browser.