Moved some thms from Transitive_ClosureTr.ML to Transitive_Closure.thy
(* Polynomials $Id$ Author: Clemens Ballarin, started 24 September 1999*)with_path "abstract" time_use_thy "Abstract"; (*The ring theory*)with_path "poly" time_use_thy "Polynomial"; (*The full theory*)