Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. more uniform command names
  3. tuned parameter order
Changeset 79970:773b99044329 by nipkow:
merged
Changeset 79969:4aeb25ba90f3 by nipkow:
more uniform command names
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy
The file was modified src/HOL/Data_Structures/Define_Time_0.ML
The file was modified src/HOL/Data_Structures/Define_Time_Function.ML
The file was modified src/HOL/Data_Structures/Define_Time_Function.thy
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy
The file was modified src/HOL/Data_Structures/Queue_2Lists.thy
The file was modified src/HOL/Data_Structures/Reverse.thy
The file was modified src/HOL/Data_Structures/Time_Funs.thy
The file was modified src/HOL/Data_Structures/Tree23_of_List.thy
Changeset 79968:f1c29e366c09 by nipkow:
tuned parameter order
The file was modified src/HOL/Data_Structures/Set2_Join.thy