Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. simplified theory hierarchy;
  2. misc tuning and modernization;
  3. misc tuning and modernization;
  4. misc tuning and modernization;
Changeset 63655:d31650b377c4 by wenzelm:
simplified theory hierarchy;
The file was modified src/HOL/Ctr_Sugar.thy (diff)
The file was modified src/HOL/Main.thy (diff)
The file was removedsrc/HOL/Coinduction.thy
Changeset 63654:f90e3926e627 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Fun_Def.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Num.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Power.thy (diff)
Changeset 63653:4453cfb745e5 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Equiv_Relations.thy (diff)
Changeset 63652:804b80a80016 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Int.thy (diff)