Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tidier Cauchy proofs
  3. merged
  4. more abstract Export.Provider;
  5. clarified signature: persistent results;
  6. tuned signature;
  7. tuned def. of del and proved preservation of rbt (finally)
  8. merged
  9. tuned order of arguments
  10. default value for parametricity of dim
  11. added lemma
Changeset 68421:e082a36dc35d by paulson:
merged
Changeset 68420:529d6b132c27 by paulson _lp15@cam.ac.uk_:
tidier Cauchy proofs
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
Changeset 68419:a1f43b4f984d by wenzelm:
merged
Changeset 68418:366e43cddd20 by wenzelm:
more abstract Export.Provider;
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68417:21465884037a by wenzelm:
clarified signature: persistent results;
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 68416:33114721ac9a by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68415:d74ba11680d4 by nipkow:
tuned def. of del and proved preservation of rbt (finally)
The file was modified src/HOL/Data_Structures/RBT_Map.thy (diff)
Changeset 68414:b001bef9aa39 by nipkow:
merged
Changeset 68413:b56ed5010e69 by nipkow:
tuned order of arguments
The file was modified src/HOL/Data_Structures/AA_Map.thy (diff)
The file was modified src/HOL/Data_Structures/AA_Set.thy (diff)
The file was modified src/HOL/Data_Structures/AVL_Map.thy (diff)
The file was modified src/HOL/Data_Structures/AVL_Set.thy (diff)
The file was modified src/HOL/Data_Structures/Isin2.thy (diff)
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
The file was modified src/HOL/Data_Structures/Lookup2.thy (diff)
The file was modified src/HOL/Data_Structures/RBT.thy (diff)
The file was modified src/HOL/Data_Structures/RBT_Map.thy (diff)
The file was modified src/HOL/Data_Structures/RBT_Set.thy (diff)
The file was modified src/HOL/Data_Structures/Set2_Join.thy (diff)
The file was modified src/HOL/Data_Structures/Tree2.thy (diff)
Changeset 68412:07f8c09e3f79 by immler:
default value for parametricity of dim
The file was modified src/HOL/Vector_Spaces.thy (diff)
Changeset 68411:d8363de26567 by nipkow:
added lemma
The file was modified src/HOL/Data_Structures/Tree2.thy (diff)