source: LTS/Final.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3552   5 years piccolo closed all daemons
(edit) @3549   5 years piccolo added paolo's trick
(edit) @3540   5 years piccolo closed some daemons
(edit) @3535   5 years piccolo final statement of cerco with the first pass integrated in place
(edit) @3531   5 years piccolo new notion of measurable: some lemmas are still broken
(edit) @3524   5 years piccolo rearrangments of lemmas, final statement in place
(edit) @3523   5 years piccolo closed all daemon with the final statement
(edit) @3511   5 years sacerdot …
(edit) @3510   5 years sacerdot One proof closed.
(edit) @3509   5 years sacerdot …
(add) @3507   5 years sacerdot New file to contain the final statements of CerCo?.
Note: See TracRevisionLog for help on using the revision log.