projects / helm.git / history
| 2008-05-27 | Enrico Tassi | auto calls cleanup\ | tree | commitdiff |
| 2008-05-18 | Claudio Sacerdoti... | Dummy dependent types are no longer cleaned in inductiv... | tree | commitdiff |
| 2008-05-18 | Claudio Sacerdoti... | Dummy dependent products in inductive types arities... | tree | commitdiff |
| 2008-03-10 | Claudio Sacerdoti... | Scripts fixed because of: | tree | commitdiff |
| 2008-02-07 | Claudio Sacerdoti... | ProdT was a perfect copy of Prod. Removed. | tree | commitdiff |
| 2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | tree | commitdiff |
| 2007-07-31 | Enrico Tassi | something was really too slow... | tree | commitdiff |
| 2007-05-24 | Enrico Tassi | auto and autogui... some work | tree | commitdiff |
| 2007-01-16 | Andrea Asperti | Added SetoidInc.m | tree | commitdiff |
| 2007-01-16 | Andrea Asperti | Some CoRN files. | tree | commitdiff |
| 2006-11-23 | Andrea Asperti | Simplified version. | tree | commitdiff |
| 2006-11-23 | Andrea Asperti | Adding CoRN. | tree | commitdiff |