projects / helm.git / history
| 2012-04-04 | Andrea Asperti | Added in basics | blob | commitdiff | raw |
| 2012-01-10 | Andrea Asperti | A complete snapshot for re | blob | commitdiff | raw | diff to current |
| 2012-01-03 | Andrea Asperti | Complete version | blob | commitdiff | raw | diff to current |
| 2011-12-15 | Andrea Asperti | Hints sui DeqSets | blob | commitdiff | raw | diff to current |
| 2011-12-13 | Andrea Asperti | Splitted re into lang.ma nd re.ma | blob | commitdiff | raw | diff to current |
| 2011-12-12 | Claudio Sacerdoti... | Pairs are now records. | blob | commitdiff | raw | diff to current |
| 2011-12-12 | Andrea Asperti | Generalization to any alphabet. We do not need a finite | blob | commitdiff | raw | diff to current |
| 2011-12-09 | Andrea Asperti | closing more axioms | blob | commitdiff | raw | diff to current |
| 2011-12-07 | Andrea Asperti | Closing some axioms... | blob | commitdiff | raw | diff to current |
| 2011-12-05 | Andrea Asperti | Decidability of equality (draft) | blob | commitdiff | raw | diff to current |