src/HOL/NumberTheory/WilsonRuss.ML
Wed, 30 Aug 2000 16:29:21 +0200 nipkow introduced induct_thm_tac
Thu, 03 Aug 2000 10:46:01 +0200 paulson Chinese Remainder Theorem, Wilsons Theorem, etc., by T M Masmussen
less more (0) tip