| 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 |
| Tue, 28 Sep 2010 05:56:11 -0400 | Christian Urban | added Foo1 to explore a contrived example | file | diff | annotate |