| Fri, 01 Oct 2010 07:09:59 -0400 | Christian Urban | minor experiments | file | diff | annotate |
| Wed, 29 Sep 2010 16:49:13 -0400 | Christian Urban | simplified exhaust proofs | file | diff | annotate |
| Wed, 29 Sep 2010 09:47:26 -0400 | Christian Urban | worked example Foo1 with induct_schema | file | diff | annotate |
| Wed, 29 Sep 2010 06:45:01 -0400 | Christian Urban | use also induct_schema for the Let-example (permute_bn is used) | file | diff | annotate |