src/HOL/Algebra/Divisibility.thy
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