| 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, 15 May 2010 18:15:50 +0200 | wenzelm | removed unused conversions; | file | diff | annotate |
| Sat, 15 May 2010 18:12:58 +0200 | wenzelm | tuned header; | file | diff | annotate |
| Sat, 15 May 2010 18:11:00 +0200 | wenzelm | moved normarith.ML where it is actually used; | file | diff | annotate | base |