Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merge
  2. partial tidy-up of Sylow's theorem
  3. proper option process_output_tail, more generous default;
Changeset 62411:994b8bab5a99 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 62410:2fc7a8d9c529 by paulson _lp15@cam.ac.uk_:
partial tidy-up of Sylow's theorem
The file was modified src/HOL/Algebra/Exponent.thy (diff)
The file was modified src/HOL/Algebra/Sylow.thy (diff)
The file was modified src/HOL/Number_Theory/Primes.thy (diff)
Changeset 62409:e391528eff3b by wenzelm:
proper option process_output_tail, more generous default;
The file was modified etc/options (diff)
The file was modified src/Pure/Tools/build.scala (diff)