src/HOL/Algebra/Divisibility.thy
Tue, 29 Jul 2008 16:19:49 +0200 ballarin New theory on divisibility.
less more (0) tip