Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
Mon, 30 Apr 2001 19:26:04 +0200 | nipkow | new proof | file | diff | annotate |
Fri, 10 Nov 2000 09:17:54 +0100 | nipkow | JMB -> JMPB. Email von Johannes Pfeifroth. | file | diff | annotate |
Thu, 26 Oct 2000 14:59:38 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
Thu, 26 Oct 2000 14:52:41 +0200 | nipkow | *** empty log message *** | file | diff | annotate |