| Fri, 19 Jan 2007 22:08:08 +0100 | wenzelm | moved parts of OuterParse to SpecParse; | file | diff | annotate |
| 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 |