]>
2008-04-24 | Wilmer Ricciotti | Proof of adequacy. | tree | commitdiff |
2008-04-21 | Claudio Sacerdoti... | defn2.ma is to be used with part1a_inversion3 | tree | commitdiff |
2008-04-20 | Claudio Sacerdoti... | Alternative prove using just one induction/inversion... | tree | commitdiff |
2008-04-18 | Claudio Sacerdoti... | Dead code removed. | tree | commitdiff |
2008-04-18 | Claudio Sacerdoti... | Inversion lemma for Forall. | tree | commitdiff |
2008-03-26 | Wilmer Ricciotti | Reorganization of list library (step 1) | tree | commitdiff |
2008-03-23 | Enrico Tassi | Fsub moved in contribs | tree | commitdiff |