src/HOL/Decision_Procs/commutative_ring_tac.ML
changeset 58306 117ba6cbe414
parent 55793 52c8f934ea6f
child 58645 94bef115c08f