| 2015-01-22 |
Ferruccio Guidi | refactoring of \lambda\delta version 1 in matita |
tree | commitdiff |
| 2010-07-07 |
Enrico Tassi | moved formal_topology into library" |
tree | commitdiff |
| 2010-07-06 |
Enrico Tassi | some notation for map_arrows2 |
tree | commitdiff |
| 2010-07-04 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2010-07-04 |
Claudio Sacerdoti... | Some important proofs/definitions were (and are still... |
tree | commitdiff |
| 2010-07-01 |
Claudio Sacerdoti... | Proof simplified. |
tree | commitdiff |
| 2010-07-01 |
Claudio Sacerdoti... | Proof simplified (??). |
tree | commitdiff |
| 2010-07-01 |
Enrico Tassi | ... |
tree | commitdiff |
| 2010-06-30 |
Enrico Tassi | ... |
tree | commitdiff |
| 2010-06-30 |
Enrico Tassi | ... |
tree | commitdiff |
| 2010-06-30 |
Enrico Tassi | .... |
tree | commitdiff |
| 2010-06-29 |
Enrico Tassi | ... |
tree | commitdiff |
| 2010-06-29 |
Enrico Tassi | notation made half decent |
tree | commitdiff |
| 2010-06-28 |
Enrico Tassi | better notation for oalgebra |
tree | commitdiff |
| 2010-06-18 |
Enrico Tassi | .... |
tree | commitdiff |
| 2010-02-12 |
Cosimo Oliboni | cerco documentation |
tree | commitdiff |
| 2010-02-06 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-02-06 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-02-05 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-02-04 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2010-02-04 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-02-04 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-02-02 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-02-02 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-02-01 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
| 2010-01-31 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-30 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-30 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-29 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-28 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-27 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-25 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-25 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-24 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-23 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
| 2010-01-23 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
| 2010-01-22 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-22 |
Cosimo Oliboni | freescale porting |
tree | commitdiff |
| 2010-01-21 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
| 2010-01-21 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
| 2010-01-21 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-11-16 |
Wilmer Ricciotti | Implementation of ndestruct tactic (including destructi... |
tree | commitdiff |
| 2009-10-29 |
Claudio Sacerdoti... | For some obscure reason, more universes are now needed... |
tree | commitdiff |
| 2009-10-28 |
Claudio Sacerdoti... | Works again |
tree | commitdiff |
| 2009-10-26 |
Claudio Sacerdoti... | qed => nqed. |
tree | commitdiff |
| 2009-10-22 |
Enrico Tassi | new instantiate, only known bug is w.r.t. in/out scope... |
tree | commitdiff |
| 2009-10-15 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-10-14 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-10-13 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-09-21 |
Enrico Tassi | huge commit regarding universes: |
tree | commitdiff |
| 2009-09-04 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-09-04 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-09-03 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-09-03 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-09-03 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-09-02 |
Enrico Tassi | fix to speedup reduction making intermediate conversion... |
tree | commitdiff |
| 2009-09-02 |
Enrico Tassi | fixed eliminator name |
tree | commitdiff |
| 2009-09-02 |
Enrico Tassi | some work |
tree | commitdiff |
| 2009-09-02 |
Enrico Tassi | CIC has no eta-reduction/expansion |
tree | commitdiff |
| 2009-08-14 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-12 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-12 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-11 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-09 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-08 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-07 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-06 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-05 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-04 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-04 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-04 |
Cosimo Oliboni | freescle porting, work in progress |
tree | commitdiff |
| 2009-08-04 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-03 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-08-01 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-31 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-30 |
Claudio Sacerdoti... | 1) \ldots here and there |
tree | commitdiff |
| 2009-07-29 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-24 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2009-07-23 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-23 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-22 |
Claudio Sacerdoti... | Elimination principles are now processed in O(1) again |
tree | commitdiff |
| 2009-07-22 |
Claudio Sacerdoti... | 1) PTS simplified |
tree | commitdiff |
| 2009-07-22 |
Claudio Sacerdoti... | nelim fixed |
tree | commitdiff |
| 2009-07-21 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-20 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2009-07-19 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-17 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-16 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-15 |
Cosimo Oliboni | freescale porting, work in progress |
tree | commitdiff |
| 2009-07-14 |
Cosimo Oliboni | freescale porting to ng, work in progress |
tree | commitdiff |
| 2009-07-13 |
Cosimo Oliboni | freescale translation (work in progress) |
tree | commitdiff |
| 2009-07-12 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
| 2009-07-11 |
Cosimo Oliboni | (no commit message) |
tree | commitdiff |
| 2009-07-10 |
Cosimo Oliboni | +root +depends |
tree | commitdiff |
| 2009-07-10 |
Cosimo Oliboni | new ng freescale, no external dependencies |
tree | commitdiff |
| next |
projects / helm.git / history