| Tue, 05 Oct 2010 08:43:49 +0100 | Christian Urban | down to 24 pages and a bit | changeset | files |
| Tue, 05 Oct 2010 07:30:37 +0100 | Christian Urban | llncs and more sqeezing | changeset | files |
| Mon, 04 Oct 2010 12:39:57 +0100 | Christian Urban | first part of sqeezing everything into 20 pages (at the moment we have 26) | changeset | files |
| Mon, 04 Oct 2010 07:25:37 +0100 | Christian Urban | changed to llncs | changeset | files |
| Fri, 01 Oct 2010 07:11:47 -0400 | Christian Urban | merged | changeset | files |
| Fri, 01 Oct 2010 07:09:59 -0400 | Christian Urban | minor experiments | changeset | files |
| Thu, 30 Sep 2010 07:43:46 -0400 | Christian Urban | merged | changeset | files |
| Wed, 29 Sep 2010 16:49:13 -0400 | Christian Urban | simplified exhaust proofs | changeset | files |
| Fri, 01 Oct 2010 15:44:50 +0900 | Cezary Kaliszyk | Made the paper to compile with the renamings. | changeset | files |
| Wed, 29 Sep 2010 09:51:57 -0400 | Christian Urban | merged | changeset | files |
| Wed, 29 Sep 2010 09:47:26 -0400 | Christian Urban | worked example Foo1 with induct_schema | changeset | files |
| Wed, 29 Sep 2010 07:39:06 -0400 | Christian Urban | merged | changeset | files |
| Wed, 29 Sep 2010 06:45:01 -0400 | Christian Urban | use also induct_schema for the Let-example (permute_bn is used) | changeset | files |
| Wed, 29 Sep 2010 04:42:37 -0400 | Christian Urban | test with induct_schema for simpler strong_ind proofs | changeset | files |
| Wed, 29 Sep 2010 16:36:31 +0900 | Cezary Kaliszyk | substitution definition with 'next_name'. | changeset | files |