src/HOL/Number_Theory/Number_Theory.thy
Sat, 15 Jul 2017 14:32:02 +0100 eberlm More material on powers for HOL-Computational_Algebra/HOL-Number_Theory
Thu, 20 Oct 2016 17:28:09 +0200 eberlm Repaired LaTeX in HOL-Data_Structures
Mon, 17 Oct 2016 15:20:06 +0200 eberlm Removed Old_Number_Theory; all theories ported (thanks to Jaime Mendizabal Roche)
Fri, 19 Jun 2015 21:41:33 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Sun, 17 Feb 2013 21:29:30 +0100 haftmann Sieve of Eratosthenes
Tue, 01 Sep 2009 15:39:33 +0200 haftmann some reorganization of number theory
less more (0) tip