Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. misc tuning and modernization;
Changeset 65414:d7ebd2b25b82 by wenzelm:
merged
Changeset 65413:cb7f9d7d35e6 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Number_Theory/Gauss.thy (diff)
The file was modified src/HOL/Number_Theory/Quadratic_Reciprocity.thy (diff)