Mon, 11 Dec 2006 16:53:00 +0100 | berghofe | nominal_primrec now prints initial proof state. | file | diff | annotate |
Fri, 01 Dec 2006 16:08:45 +0100 | nipkow | Added missing "standard" | file | diff | annotate |
Mon, 27 Nov 2006 12:10:51 +0100 | berghofe | Implemented new "nominal_primrec" command for defining | file | diff | annotate |