# HG changeset patch
# User nipkow
# Date 1257538837 -3600
# Node ID 5212eccda1cb856f0e0686807706ae9fa3764309
# Parent  c142cc5ef48bb51baee043c73d2c3e2f96de618d# Parent  1464ddca182b4f685feb089b73015080f399c1c0
merged

diff -r c142cc5ef48b -r 5212eccda1cb src/HOL/Decision_Procs/commutative_ring_tac.ML