Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and modernization;
  2. clarified imports;
  3. simplified theory structure;
  4. misc tuning and modernization;
Changeset 63572:c0cbfd2b5a45 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Order_Relation.thy (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
The file was modified src/HOL/Wfrec.thy (diff)
The file was modified src/HOL/Zorn.thy (diff)
Changeset 63571:aee0d92995b6 by wenzelm:
clarified imports;
The file was modified src/HOL/Complex_Main.thy (diff)
Changeset 63570:1826a90b9cbc by wenzelm:
simplified theory structure;
The file was modified src/HOL/Complex_Main.thy (diff)
The file was modified src/HOL/Decision_Procs/Approximation.thy (diff)
The file was modified src/HOL/MacLaurin.thy (diff)
The file was removedsrc/HOL/Taylor.thy
Changeset 63569:7e0b0db5e9ac by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Complex.thy (diff)
The file was modified src/HOL/MacLaurin.thy (diff)
The file was modified src/HOL/Taylor.thy (diff)