Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and modernization;
  2. isabelle update_cartouches -c -t;
  3. misc tuning and modernization;
Changeset 66305:7454317f883c by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Number_Theory/Pocklington.thy (diff)
The file was modified src/HOL/Number_Theory/Residues.thy (diff)
The file was modified src/HOL/Number_Theory/Totient.thy (diff)
Changeset 66304:cde6ceffcbc7 by wenzelm:
isabelle update_cartouches -c -t;
The file was modified src/HOL/Analysis/Improper_Integral.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Winding_Numbers.thy (diff)
The file was modified src/HOL/Number_Theory/Residues.thy (diff)
Changeset 66303:210dae34b8bc by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/ex/Classical.thy (diff)