| Fri, 20 Oct 2006 10:44:39 +0200 | haftmann | slight adaption | changeset | files |
| Fri, 20 Oct 2006 10:44:38 +0200 | haftmann | added normal post setup; cleaned up "execution" constants | changeset | files |
| Fri, 20 Oct 2006 10:44:37 +0200 | haftmann | added normal post setup | changeset | files |
| Fri, 20 Oct 2006 10:44:36 +0200 | haftmann | added if_delayed | changeset | files |
| Fri, 20 Oct 2006 10:44:35 +0200 | haftmann | started tutorial | changeset | files |
| Fri, 20 Oct 2006 10:44:34 +0200 | haftmann | code_constsubst -> code_axioms | changeset | files |
| Fri, 20 Oct 2006 10:44:33 +0200 | haftmann | Symtab.foldl replaced by Symtab.fold | changeset | files |
| Thu, 19 Oct 2006 12:08:27 +0200 | berghofe | Induction rule for graph of recursion combinator | changeset | files |