Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned proofs;
  2. misc tuning and modernization;
  3. misc tuning and modernization;
Changeset 63834:6a757f36997e by wenzelm:
tuned proofs;
The file was modified src/HOL/BNF_Def.thy (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Map.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 63833:4aaeb9427c96 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Old_Number_Theory/Pocklington.thy (diff)
The file was modified src/HOL/Old_Number_Theory/Primes.thy (diff)
Changeset 63832:a400b127853c by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Algebra/Divisibility.thy (diff)