Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Replacement of sum_mono3 (now deleted) by sum_mono2
Changeset 7894:5a9ffe3530e1 by paulson _lp15@cam.ac.uk_:
Replacement of sum_mono3 (now deleted) by sum_mono2
The file was modified thys/Abs_Int_ITP2012/Abs_Int1.thy (diff)
The file was modified thys/Abs_Int_ITP2012/Abs_Int3.thy (diff)
The file was modified thys/Bertrands_Postulate/Bertrand.thy (diff)
The file was modified thys/Flyspeck-Tame/GeneratorProps.thy (diff)
The file was modified thys/Random_Graph_Subgraph_Threshold/Subgraph_Threshold.thy (diff)