Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. Simplified Gamma_Function
  3. proper priority queue spec
Changeset 64970:9f579a18c136 by eberlm _eberlm@in.tum.de_:
Merged
Changeset 64969:a6953714799d by eberlm _eberlm@in.tum.de_:
Simplified Gamma_Function
The file was modified src/HOL/Analysis/Derivative.thy (diff)
The file was modified src/HOL/Analysis/Gamma_Function.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 64968:a7ea55c1be52 by nipkow:
proper priority queue spec
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)