Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more default simp rules
  3. some word streamlining
  4. avoid legacy domain informatik.tu-muenchen.de;
Changeset 73870:d156b141fe2f by haftmann:
merged
Changeset 73869:7181130f5872 by haftmann:
more default simp rules
The file was modified NEWS (diff)
The file was modified src/HOL/Analysis/Bochner_Integration.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Measurable_On_Borel.thy (diff)
The file was modified src/HOL/Decision_Procs/Ferrack.thy (diff)
The file was modified src/HOL/HOLCF/Universal.thy (diff)
The file was modified src/HOL/Homology/Simplices.thy (diff)
The file was modified src/HOL/Import/HOL_Light_Maps.thy (diff)
The file was modified src/HOL/Lattices.thy (diff)
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Extended_Nonnegative_Real.thy (diff)
The file was modified src/HOL/Power.thy (diff)
Changeset 73868:465846b611d5 by haftmann:
some word streamlining
The file was modified src/HOL/Library/Bit_Operations.thy (diff)
Changeset 73867:3d3c60a90af5 by wenzelm:
avoid legacy domain informatik.tu-muenchen.de;
The file was modified src/Pure/General/mailman.scala (diff)