Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl
  3. observe option "show_states" in headless server (see also 951abf9db857);
  4. text correction
Changeset 77139:da8a0e7bcac8 by paulson:
merged
Changeset 77138:c8597292cd41 by paulson _lp15@cam.ac.uk_:
Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl
The file was modified src/HOL/Algebra/QuotRing.thy (diff)
The file was modified src/HOL/Analysis/Abstract_Topology_2.thy (diff)
The file was modified src/HOL/Complex.thy (diff)
The file was modified src/HOL/Deriv.thy (diff)
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/Library/Countable_Set.thy (diff)
The file was modified src/HOL/Library/Product_Order.thy (diff)
The file was modified src/HOL/Power.thy (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 77137:79231a210f5d by wenzelm:
observe option "show_states" in headless server (see also 951abf9db857);
The file was modified NEWS (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 77136:5bf9a1b78f93 by nipkow:
text correction
The file was modified src/HOL/IMP/Abs_Int2_ivl.thy (diff)