src/HOL/Old_Number_Theory/WilsonBij.thy
Sat, 10 Oct 2015 16:26:23 +0200 wenzelm isabelle update_cartouches;
Tue, 10 Feb 2015 14:48:26 +0100 wenzelm proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Fri, 04 Jul 2014 20:18:47 +0200 haftmann reduced name variants for assoc and commute on plus and mult
Sat, 28 Jun 2014 09:16:42 +0200 haftmann fact consolidation
Thu, 18 Apr 2013 17:07:01 +0200 wenzelm simplifier uses proper Proof.context instead of historic type simpset;
Mon, 02 Apr 2012 09:18:16 +0200 huffman add simp rules for dvd on negative numerals
Sun, 20 Nov 2011 21:05:23 +0100 wenzelm eliminated obsolete "standard";
Tue, 06 Sep 2011 19:03:41 -0700 huffman avoid using legacy theorem names
Mon, 06 Sep 2010 19:13:10 +0200 wenzelm more antiquotations;
Fri, 06 Aug 2010 12:37:00 +0200 wenzelm modernized specifications;
Mon, 08 Feb 2010 17:12:30 +0100 haftmann tuned proofs
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Tue, 01 Sep 2009 15:39:33 +0200 haftmann some reorganization of number theory
less more (0) tip