Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- more uniform command names
- tuned parameter order
- shutdown lrzcloud2;
- tuned NEWS
- redefined wfP as an abbreviation for "wfp_on UNIV"
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 |
The file was modified | src/HOL/Data_Structures/Set2_Join.thy |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala |
The file was modified | NEWS |
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
- merged
- Two new lemmas by Eberl (requested by Paulson)
- adapted to isabelle/devel
- adapted to new definition of wfP following Isabelle/233d70cad0cf
The file was modified | thys/Stirling_Formula/Stirling_Formula.thy |
The file was modified | thys/Priority_Queue_Braun/Priority_Queue_Braun.thy |
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 |