| Sun, 24 Oct 2010 20:19:00 +0200 | nipkow | nat_number -> eval_nat_numeral | file | diff | annotate |
| Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |
| Sat, 15 May 2010 21:50:05 +0200 | wenzelm | less pervasive names from structure Thm; | file | diff | annotate |
| Sat, 08 May 2010 22:29:44 +0200 | wenzelm | made SML/NJ happy; | file | diff | annotate |
| Sat, 08 May 2010 17:15:50 +0200 | haftmann | merged | file | diff | annotate | base |
| Fri, 07 May 2010 16:12:26 +0200 | haftmann | renamed Normalizer to the more specific Semiring_Normalizer | file | diff | annotate | base |