| Wed, 15 Mar 2000 23:41:42 +0100 | berghofe | Added setup for primrec theory data. | changeset | files |
| Wed, 15 Mar 2000 23:40:59 +0100 | berghofe | get_recdef now returns None instead of raising ERROR. | changeset | files |
| Wed, 15 Mar 2000 23:39:45 +0100 | berghofe | Added new theory data slot for primrec equations. | changeset | files |
| Wed, 15 Mar 2000 23:38:52 +0100 | berghofe | Now returns theorems with correct names in derivations. | changeset | files |