Timeline



Mar 12, 2015:

3:38 PM Changeset [3529] by pellitta
abitazione tipo instr_params in corso
12:58 PM Changeset [3528] by pellitta
eliminati dal linguaggio i comandi For e IfThenElse?, ridondanti …
12:43 PM Changeset [3527] by piccolo
fixed permutation axioms

Mar 11, 2015:

6:50 PM Changeset [3526] by pellitta
5:20 PM Changeset [3525] by sacerdot
- dead code removed + improved (?) comment
4:26 PM Changeset [3524] by piccolo
rearrangments of lemmas, final statement in place
12:59 PM Changeset [3523] by piccolo
closed all daemon with the final statement
Note: See TracTimeline for information about the timeline view.