| Tue, 08 Dec 2009 22:05:01 +0100 | Cezary Kaliszyk | merge | changeset | files |
| Tue, 08 Dec 2009 22:03:34 +0100 | Cezary Kaliszyk | An example which is hard to lift because of the interplay between lambda_prs and unfolding. | changeset | files |
| Tue, 08 Dec 2009 22:02:14 +0100 | Christian Urban | proper formulation of all preservation theorems | changeset | files |
| Tue, 08 Dec 2009 20:55:55 +0100 | Christian Urban | started to reformulate preserve lemmas | changeset | files |
| Tue, 08 Dec 2009 20:34:00 +0100 | Christian Urban | properly set up the prs_rules | changeset | files |
| Tue, 08 Dec 2009 17:43:32 +0100 | Christian Urban | merged | changeset | files |
| Tue, 08 Dec 2009 17:40:58 +0100 | Christian Urban | added preserve rules to the cleaning_tac | changeset | files |