src/HOL/Algebra/abstract/RingHomo.thy
2002-11-28 ballarin 2002-11-28 HOL-Algebra partially ported to Isar.
1999-11-05 paulson 1999-11-05 Algebra and Polynomial theories, by Clemens Ballarin