| 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 |