Mon, 26 May 1997 12:34:54 +0200 | paulson | Added recdef | changeset | files |
Mon, 26 May 1997 12:34:05 +0200 | paulson | Primrec: New example ported from ZF | changeset | files |
Mon, 26 May 1997 12:33:38 +0200 | paulson | Renamed lessD to Suc_leI | changeset | files |