source: LTS/

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @3549   5 years piccolo added paolo's trick
(edit) @3535   5 years piccolo final statement of cerco with the first pass integrated in place
(edit) @3524   5 years piccolo rearrangments of lemmas, final statement in place
(edit) @3500   5 years sacerdot Nicer statements.
(add) @3458   6 years piccolo
Note: See TracRevisionLog for help on using the revision log.