| Wed, 24 Jun 2009 09:41:14 +0200 | nipkow | corrected and unified thm names | file | diff | annotate |
| Tue, 02 Jun 2009 16:52:37 +0200 | wenzelm | made SML/NJ happy; | file | diff | annotate |
| Fri, 08 May 2009 09:48:07 +0200 | haftmann | modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs | file | diff | annotate | base |