Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. A few new results (mostly brought in from other developments)
  3. merged
  4. Added time function automation
Changeset 79493:d1188818634d by paulson:
merged
Changeset 79492:c1b0f64eb865 by paulson _lp15@cam.ac.uk_:
A few new results (mostly brought in from other developments)
The file was modified src/HOL/Analysis/Abstract_Topological_Spaces.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Probability/Information.thy (diff)
The file was modified src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy (diff)
The file was modified src/HOL/Product_Type.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 79491:7758da86b182 by nipkow:
merged
Changeset 79490:b287510a4202 by nipkow:
Added time function automation
The file was addedsrc/HOL/Data_Structures/Define_Time_0.ML
The file was addedsrc/HOL/Data_Structures/Define_Time_Function.ML
The file was addedsrc/HOL/Data_Structures/Define_Time_Function.thy
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
The file was modified src/HOL/Data_Structures/Tree23_of_List.thy (diff)