| 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 |
| Thu, 19 Oct 2006 11:21:01 +0200 | berghofe | Split up FCBs into separate formulae for each binder. | changeset | files |