projects / helm.git / history
| 2011-07-25 | Ferruccio Guidi | lift_weight: bug fix | tree | commitdiff |
| 2011-07-25 | Ferruccio Guidi | - inversion lemmas for tpr completed! | tree | commitdiff |
| 2011-07-24 | Ferruccio Guidi | - some renaming | tree | commitdiff |
| 2011-07-24 | Ferruccio Guidi | - sone refactoring | tree | commitdiff |
| 2011-07-22 | Ferruccio Guidi | confluence of reduction started ... | tree | commitdiff |
| 2011-07-19 | Ferruccio Guidi | - drop_main: bug fix | tree | commitdiff |
| 2011-07-17 | Ferruccio Guidi | more lemmas and some generated logical constants for... | tree | commitdiff |
| 2011-07-13 | Ferruccio Guidi | - new definition of subst based on drop | tree | commitdiff |
| 2011-06-14 | Ferruccio Guidi | some restructuring | tree | commitdiff |
| 2011-06-14 | Ferruccio Guidi | more lemmas to prove and a correction in subst | tree | commitdiff |
| 2011-06-13 | Ferruccio Guidi | reductions rules and one lemma | tree | commitdiff |