| 2002-07-14 | paulson | 2002-07-14 | Removal of mono.thy | file | diff | annotate |
| 2002-06-23 | paulson | 2002-06-23 | conversion of Sum, pair to Isar script | file | diff | annotate |
| 2001-10-05 | wenzelm | 2001-10-05 | tuned; | file | diff | annotate |
| 2000-08-10 | paulson | 2000-08-10 | installation of cancellation simprocs for the integers | file | diff | annotate |
| 1997-01-03 | paulson | 1997-01-03 | Implicit simpsets and clasets for FOL and ZF | file | diff | annotate |
| 1993-11-16 | clasohm | 1993-11-16 | made pseudo theories for all ML files; documented dependencies between all thy and ML files | file | diff | annotate |