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 |