]>
2011-02-27 | Ferruccio Guidi | - notation is now in a separate file | tree | commitdiff |
2011-02-26 | Ferruccio Guidi | - new file ext.ma with the objects needed for the norma... | tree | commitdiff |
2011-02-21 | Ferruccio Guidi | we started to set up the strong normalization proof. | tree | commitdiff |
2011-02-10 | Ferruccio Guidi | we added some comments | tree | commitdiff |
2011-02-10 | Andrea Asperti | Added typing rule for dummies | tree | commitdiff |
2011-02-10 | Andrea Asperti | Added lambda | tree | commitdiff |
2011-02-09 | Wilmer Ricciotti | enabling destruct defs | tree | commitdiff |
2011-01-07 | Enrico Tassi | non uniform coercion names in sync with the TYPES talk... | tree | commitdiff |
2010-12-23 | Andrea Asperti | progress | tree | commitdiff |
2010-12-16 | Andrea Asperti | New version of the library. Several files still do... | tree | commitdiff |
2010-12-06 | Andrea Asperti | exp and factorial | tree | commitdiff |
2010-12-06 | Andrea Asperti | some progress | tree | commitdiff |
2010-11-22 | Andrea Asperti | Some arithmetics. | tree | commitdiff |