| Fri, 04 Mar 2011 00:09:47 +0100 | wenzelm | eliminated prems; | file | diff | annotate |
| Mon, 21 Feb 2011 17:43:23 +0100 | wenzelm | modernized specifications; | file | diff | annotate |
| Wed, 08 Sep 2010 19:21:46 +0200 | haftmann | modernized primrec | file | diff | annotate |
| Wed, 22 Jul 2009 15:28:18 +0200 | Christian Urban | tuned proofs and added some lemmas | file | diff | annotate |
| Wed, 21 Jan 2009 23:40:23 +0100 | haftmann | no base sort in class import | file | diff | annotate |
| Sat, 13 Dec 2008 16:26:06 +0100 | berghofe | Unified syntax of nominal_primrec with the one used by fun(ction) and new | file | diff | annotate |
| Tue, 21 Oct 2008 21:22:02 +0200 | berghofe | Example for using the generalized version of nominal_inductive. | file | diff | annotate |
| Tue, 04 Mar 2008 13:35:45 +0100 | urbanc | added new example | file | diff | annotate |