# HG changeset patch
# User nipkow
# Date 1257331259 -3600
# Node ID 1464ddca182b4f685feb089b73015080f399c1c0
# Parent  6f825ec18b4999c2577184a557efe1ba3520343e# Parent  2b5b0f9e271c7db2d72bd64aa236f328f099201f
merged

diff -r 6f825ec18b49 -r 1464ddca182b src/HOL/Decision_Procs/commutative_ring_tac.ML