Mon, 27 Nov 2006 12:12:18 +0100 | berghofe | Added nominal_primrec command. | changeset | files |
Mon, 27 Nov 2006 12:11:43 +0100 | berghofe | Adapted to new nominal_primrec command. | changeset | files |
Mon, 27 Nov 2006 12:11:20 +0100 | berghofe | Added nominal_primrec.ML | changeset | files |
Mon, 27 Nov 2006 12:10:51 +0100 | berghofe | Implemented new "nominal_primrec" command for defining | changeset | files |