Started by an SCM change004412704742127047421.00124800124800c4a1088d008180bfd82ff93a32e709778518f25b7565218281e769389ad099e843726599d17a3df51e04f12782afpfalse#3735127047426057161isabelle-all #37353735falsefalse37352339SUCCESS1657055647062https://ci.isabelle.systems/jenkins/job/isabelle-all/3735/workermtahpcNEWSsrc/HOL/Transitive_Closure.thyc4a1088d008180bfd82ff93a32e709778518f25b1657036492000https://ci.isabelle.systems/jenkins/user/desharnadesharna1657036492.0-7200falseNEWSsrc/HOL/Transitive_Closure.thyadded lemmas total_on_trancl and totalp_on_tranclpc4a1088d008180bfd82ff93a32e709778518f25b75652hghttps://ci.isabelle.systems/jenkins/user/desharnadesharna