src/HOL/Decision_Procs/Commutative_Ring_Complete.thy
2009-10-30 haftmann 2009-10-30 moved Commutative_Ring into session Decision_Procs