src/HOL/NumberTheory/BijectionRel.thy
Tue, 08 Oct 2002 08:20:17 +0200 nipkow Got rid of rotates because of new simplifier
Tue, 27 Aug 2002 11:03:05 +0200 wenzelm *** empty log message ***
Tue, 04 Sep 2001 21:10:57 +0200 wenzelm renamed "antecedent" case to "rule_context";
Sun, 04 Feb 2001 19:31:13 +0100 wenzelm HOL-NumberTheory: converted to new-style format and proper document setup;
Thu, 03 Aug 2000 10:46:01 +0200 paulson Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen
less more (0) tip