src/HOL/Algebra/abstract/PID.thy
1999-11-05 paulson 1999-11-05 Algebra and Polynomial theories, by Clemens Ballarin