| 2002-08-27 | wenzelm | 2002-08-27 | *** empty log message *** | file | diff | annotate |
| 2001-09-04 | wenzelm | 2001-09-04 | renamed "antecedent" case to "rule_context"; | file | diff | annotate |
| 2001-02-04 | wenzelm | 2001-02-04 | HOL-NumberTheory: converted to new-style format and proper document setup; | file | diff | annotate |
| 2000-08-03 | paulson | 2000-08-03 | Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen | file | diff | annotate |