Mon, 14 Aug 2006 13:46:03 +0200 | haftmann | updated code generator keywords | changeset | files |
Mon, 14 Aug 2006 11:26:10 +0200 | berghofe | Removed non-trivial definitions from calc_atm theorem list. | changeset | files |
Mon, 14 Aug 2006 11:25:08 +0200 | berghofe | Finished implementation of uniqueness proof for recursion combinator. | changeset | files |