| 2010-10-06 | Christian Urban | down to 22 pages | changeset | files |
| 2010-10-05 | Christian Urban | down to 23 pages | changeset | files |
| 2010-10-05 | Christian Urban | down to 24 pages and a bit | changeset | files |
| 2010-10-05 | Christian Urban | llncs and more sqeezing | changeset | files |
| 2010-10-04 | Christian Urban | first part of sqeezing everything into 20 pages (at the moment we have 26) | changeset | files |
| 2010-10-04 | Christian Urban | changed to llncs | changeset | files |
| 2010-10-01 | Christian Urban | merged | changeset | files |
| 2010-10-01 | Christian Urban | minor experiments | changeset | files |
| 2010-09-30 | Christian Urban | merged | changeset | files |
| 2010-09-29 | Christian Urban | simplified exhaust proofs | changeset | files |
| 2010-10-01 | Cezary Kaliszyk | Made the paper to compile with the renamings. | changeset | files |
| 2010-09-29 | Christian Urban | merged | changeset | files |
| 2010-09-29 | Christian Urban | worked example Foo1 with induct_schema | changeset | files |
| 2010-09-29 | Christian Urban | merged | changeset | files |
| Loading... | |||