]>
2005-10-25 | Enrico Tassi | fixed -debug | tree | commitdiff |
2005-10-25 | Claudio Sacerdoti... | ... | tree | commitdiff |
2005-10-18 | Ferruccio Guidi | definition of eq improved (?) parametrizing an argument | tree | commitdiff |
2005-10-17 | Enrico Tassi | added coercions to Prod | tree | commitdiff |
2005-10-13 | Ferruccio Guidi | more comments added | tree | commitdiff |
2005-10-12 | Ferruccio Guidi | tlt_defs: notation updated | tree | commitdiff |
2005-10-06 | Claudio Sacerdoti... | NODB implemented | tree | commitdiff |
2005-09-27 | Andrea Asperti | New entry: fermat's little theorem (almost complete). | tree | commitdiff |
2005-09-05 | Claudio Sacerdoti... | Added aliases and notation. | tree | commitdiff |
2005-09-05 | Claudio Sacerdoti... | Typing errors fixed. | tree | commitdiff |
2005-09-05 | Claudio Sacerdoti... | LAMBDA-TYPES moved under contrib, fixed (to use the... | tree | commitdiff |
2005-09-05 | Ferruccio Guidi | LAMBDA-TYPES moved under contribs | tree | commitdiff |