Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
Thu, 26 Feb 2004 01:04:39 +0100 | nipkow | corrected authors | file | diff | annotate |
Thu, 24 Jul 2003 16:37:04 +0200 | paulson | new theory NatPair of the injection from nat*nat -> nat | file | diff | annotate |