Skip to content
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
  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
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
Changeset 79967:1fd5f96e1da3 by wenzelm:
shutdown lrzcloud2;
The file was modified src/Pure/Admin/isabelle_cronjob.scala
Changeset 79966:f83e9e9a898e by desharna:
tuned NEWS
The file was modified NEWS
Changeset 79965:233d70cad0cf by desharna:
redefined wfP as an abbreviation for "wfp_on UNIV"
The file was modified NEWS
The file was modified src/HOL/Tools/Function/function_core.ML
The file was modified src/HOL/Wellfounded.thy

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merged
  2. Two new lemmas by Eberl (requested by Paulson)
  3. adapted to isabelle/devel
  4. adapted to new definition of wfP following Isabelle/233d70cad0cf
Changeset 14129:c449fd361104 by paulson:
merged
Changeset 14128:f63e81575b31 by paulson _lp15@cam.ac.uk_:
Two new lemmas by Eberl (requested by Paulson)
The file was modified thys/Stirling_Formula/Stirling_Formula.thy
Changeset 14127:39d02fa56315 by nipkow:
adapted to isabelle/devel
The file was modified thys/Priority_Queue_Braun/Priority_Queue_Braun.thy
Changeset 14126:4b5944e86bd6 by desharna:
adapted to new definition of wfP following Isabelle/233d70cad0cf
The file was modified thys/Nominal2/nominal_function_core.ML
The file was modified thys/Simple_Clause_Learning/Termination.thy
The file was modified thys/Simple_Clause_Learning/Wellfounded_Extra.thy