projects / helm.git / history
| 2006-09-04 | Enrico Tassi | BIG FAT COMMIT REGARDING COERCIONS: | tree | commitdiff |
| 2006-08-29 | Ferruccio Guidi | aliases removed | tree | commitdiff |
| 2006-08-28 | Ferruccio Guidi | - Level-1: some problems solved | tree | commitdiff |
| 2006-08-27 | Ferruccio Guidi | - Level-1: added two problems | tree | commitdiff |
| 2006-08-26 | Ferruccio Guidi | - Level-1: added some problems | tree | commitdiff |
| 2006-08-26 | Ferruccio Guidi | - added some aliases | tree | commitdiff |
| 2006-07-25 | Enrico Tassi | added definition of f_equal1. I think this file should... | tree | commitdiff |
| 2006-06-09 | Claudio Sacerdoti... | 1. the default for the default equality/absurd/true... | tree | commitdiff |
| 2006-04-12 | Enrico Tassi | exported pp function for terms | tree | commitdiff |
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | tree | commitdiff |