src/HOL/Algebra/Divisibility.thy
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Mon, 31 Aug 2009 14:09:42 +0200 nipkow tuned the simp rules for Int involving insert and intervals.
Tue, 16 Dec 2008 21:10:53 +0100 ballarin More porting to new locales.
Mon, 17 Nov 2008 17:00:55 +0100 haftmann tuned unfold_locales invocation
Wed, 15 Oct 2008 16:06:59 +0200 ballarin Removed 'includes' (fixed).
Wed, 15 Oct 2008 15:44:15 +0200 ballarin Removed 'includes'.
Fri, 01 Aug 2008 18:10:52 +0200 ballarin Generalised polynomial lemmas from cring to ring.
Wed, 30 Jul 2008 19:03:33 +0200 ballarin New locales for orders and lattices where the equivalence relation is not restricted to equality.
Tue, 29 Jul 2008 16:19:49 +0200 ballarin New theory on divisibility.
less more (0) tip