Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more uniform command names
  3. tuned parameter order
  4. shutdown lrzcloud2;
  5. tuned NEWS
  6. redefined wfP as an abbreviation for "wfp_on UNIV"
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 (diff)
The file was modified src/HOL/Data_Structures/Define_Time_0.ML (diff)
The file was modified src/HOL/Data_Structures/Define_Time_Function.ML (diff)
The file was modified src/HOL/Data_Structures/Define_Time_Function.thy (diff)
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
The file was modified src/HOL/Data_Structures/Queue_2Lists.thy (diff)
The file was modified src/HOL/Data_Structures/Reverse.thy (diff)
The file was modified src/HOL/Data_Structures/Time_Funs.thy (diff)
The file was modified src/HOL/Data_Structures/Tree23_of_List.thy (diff)
Changeset 79968:f1c29e366c09 by nipkow:
tuned parameter order
The file was modified src/HOL/Data_Structures/Set2_Join.thy (diff)
Changeset 79967:1fd5f96e1da3 by wenzelm:
shutdown lrzcloud2;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 79966:f83e9e9a898e by desharna:
tuned NEWS
The file was modified NEWS (diff)
Changeset 79965:233d70cad0cf by desharna:
redefined wfP as an abbreviation for "wfp_on UNIV"
The file was modified NEWS (diff)
The file was modified src/HOL/Tools/Function/function_core.ML (diff)
The file was modified src/HOL/Wellfounded.thy (diff)