src/HOL/Integ/IntRing.thy
Fri, 29 Nov 1996 15:11:37 +0100 nipkow Ring Theory.
less more (0) tip