Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. obsolete
  2. merged
  3. Renaming Arg -> Arg2pi
  4. added lemmas; uniform names
Changeset 68495:71483c0e0023 by lars hupel _lars.hupel@mytum.de_:
obsolete
The file was removedAdmin/jenkins/build/ci_build_stats.scala
Changeset 68494:ebdd5508f386 by paulson:
merged
Changeset 68493:143b4cc8fc74 by paulson _lp15@cam.ac.uk_:
Renaming Arg -> Arg2pi
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
Changeset 68492:c7e0a7bcacaf by nipkow:
added lemmas; uniform names
The file was addedsrc/HOL/Data_Structures/Priority_Queue_Specs.thy
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy (diff)
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
The file was modified src/HOL/Data_Structures/Map_Specs.thy (diff)
The file was modified src/HOL/Data_Structures/Set_Specs.thy (diff)
The file was removedsrc/HOL/Data_Structures/Priority_Queue.thy