source: LTS/imp.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3533   5 years pellitta prova predicato uguaglianza tipo condition completata
(edit) @3532   5 years pellitta prova predicato uguaglianza su tipo expr completata, prova predicato …
(edit) @3530   5 years pellitta prova in corso lemma che il predicato sul tipo expr corrisponde …
(edit) @3529   5 years pellitta abitazione tipo instr_params in corso
(edit) @3528   5 years pellitta eliminati dal linguaggio i comandi For e IfThenElse?, ridondanti …
(add) @3526   5 years pellitta
Note: See TracRevisionLog for help on using the revision log.