Wed, 07 Feb 2007 17:44:07 +0100 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
Mon, 27 Nov 2006 12:11:43 +0100 | berghofe | Adapted to new nominal_primrec command. | file | diff | annotate |
Mon, 23 Oct 2006 00:51:16 +0200 | berghofe | Adapted to changes in FCBs. | file | diff | annotate |