src/HOL/Library/Ring_and_Field_Example.thy
2001-01-20 wenzelm 2001-01-20 added Library/Ring_and_Field_Example.thy;