Timeline



Oct 20, 2014:

12:53 PM Changeset [3512] by mulligan
more work on the introduction

Sep 26, 2014:

6:44 PM Changeset [3511] by sacerdot
6:34 PM Changeset [3510] by sacerdot
One proof closed.
6:12 PM Changeset [3509] by sacerdot
6:06 PM Changeset [3508] by piccolo
5:44 PM Changeset [3507] by sacerdot
New file to contain the final statements of CerCo?.
5:00 PM Changeset [3506] by sacerdot
Refactoring.
4:58 PM Changeset [3505] by piccolo
3:44 PM Changeset [3504] by sacerdot
Last commit destroyed my changes: undone.
2:40 PM Changeset [3503] by piccolo

Sep 25, 2014:

10:24 PM Changeset [3502] by sacerdot
Tentative final statement and proof for Vm.ma.
7:15 PM Changeset [3501] by sacerdot
Final static_dynamic statement committed.
6:50 PM Changeset [3500] by sacerdot
Nicer statements.
4:13 PM Changeset [3499] by sacerdot
Nicer statement.
3:49 PM Changeset [3498] by sacerdot
Much nicer statement.
3:36 PM Changeset [3497] by piccolo
prova finale statico dinamico
2:43 PM Changeset [3496] by sacerdot
Termination hypothesis greatly simplified.
2:24 PM Changeset [3495] by piccolo
1:43 PM Changeset [3494] by piccolo
1:43 PM Changeset [3493] by piccolo
Note: See TracTimeline for information about the timeline view.