]>
2011-11-04 | Ferruccio Guidi | - lib: one lemma about equality was missing | tree | commitdiff |
2011-11-04 | Ferruccio Guidi | - two discrimination lemmas | tree | commitdiff |
2011-11-03 | Ferruccio Guidi | - contex-free normal forms started | tree | commitdiff |
2011-10-25 | Ferruccio Guidi | old pr2_subst1 (Basic-1) closed! | tree | commitdiff |
2011-10-19 | Ferruccio Guidi | - the relocation properties of cpr are closed! | tree | commitdiff |
2011-10-12 | Ferruccio Guidi | theory of ltpss completed! | tree | commitdiff |
2011-10-11 | Ferruccio Guidi | - cpr_lsubs_conf proved! (was pr2_change) | tree | commitdiff |
2011-10-11 | Ferruccio Guidi | refactoring completed! | tree | commitdiff |
2011-10-10 | Ferruccio Guidi | refactoring ... | tree | commitdiff |