projects / helm.git / history
| 2006-10-02 | Enrico Tassi | removed a pointless call to auto | tree | commitdiff |
| 2006-09-29 | Enrico Tassi | restored the good factorization file | tree | commitdiff |
| 2006-09-27 | Claudio Sacerdoti... | Initial work on setoids: | tree | commitdiff |
| 2006-09-21 | Enrico Tassi | auto snapshot | tree | commitdiff |
| 2006-07-26 | Stefano Zacchiroli | added tinycals to the proof we frequently use for examp... | tree | commitdiff |
| 2006-07-24 | Andrea Asperti | A compiling version of the library. | tree | commitdiff |
| 2006-07-24 | Stefano Zacchiroli | added missing dependency | tree | commitdiff |
| 2006-07-20 | Enrico Tassi | reorganization | tree | commitdiff |
| 2006-06-15 | Andrea Asperti | examples of applyS | tree | commitdiff |
| 2006-06-14 | Stefano Zacchiroli | fixed bad spellend "stantard" | tree | commitdiff |
| 2006-06-09 | Andrea Asperti | Notation for congruent. | tree | commitdiff |
| 2006-02-23 | Claudio Sacerdoti... | 64 "change" here and there in the library are now simpl... | tree | commitdiff |
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | tree | commitdiff |