| Wed, 21 Apr 2010 21:31:07 +0200 | Christian Urban | merged | changeset | files |
| Wed, 21 Apr 2010 21:29:09 +0200 | Christian Urban | moved some lemmas into the right places | changeset | files |
| Wed, 21 Apr 2010 20:01:18 +0200 | Cezary Kaliszyk | minor | changeset | files |
| Wed, 21 Apr 2010 19:11:51 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Wed, 21 Apr 2010 19:10:55 +0200 | Cezary Kaliszyk | append_rsp2 + isarification | changeset | files |
| Wed, 21 Apr 2010 17:42:57 +0200 | Christian Urban | some small changes | changeset | files |
| Wed, 21 Apr 2010 16:25:24 +0200 | Christian Urban | merged | changeset | files |
| Wed, 21 Apr 2010 16:25:00 +0200 | Christian Urban | deleted the incomplete proof about pairs of abstractions | changeset | files |
| Wed, 21 Apr 2010 16:24:18 +0200 | Christian Urban | added a variant of the induction principle for permutations | changeset | files |
| Wed, 21 Apr 2010 13:39:34 +0200 | Cezary Kaliszyk | merge | changeset | files |
| Wed, 21 Apr 2010 13:38:37 +0200 | Cezary Kaliszyk | More about concat | changeset | files |
| Wed, 21 Apr 2010 12:38:20 +0200 | Christian Urban | merged | changeset | files |
| Wed, 21 Apr 2010 12:37:44 +0200 | Christian Urban | incomplete tests | changeset | files |
| Wed, 21 Apr 2010 12:37:19 +0200 | Christian Urban | added an improved version of the induction principle for permutations | changeset | files |
| Wed, 21 Apr 2010 10:34:10 +0200 | Cezary Kaliszyk | Working lifting of concat with inline proofs of second level preservation. | changeset | files |