Moved some thms from Transitive_ClosureTr.ML to Transitive_Closure.thy
(* Title: HOL/equalities ID: $Id$ Author: Lawrence C Paulson, Cambridge University Computer Laboratory Copyright 1994 University of CambridgeEqualities involving union, intersection, inclusion, etc.*)equalities = subset