]>
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 |