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