Changes

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

Summary

merged
merged
moved antimono to Fun and redefined it as an abbreviation
moved mono and strict_mono to Fun and redefined them as abbreviations

Changeset 76057:e07d873c18a4 by desharna: merged
Changeset 76056:c2fd8b88d262 by desharna: merged
Changeset 76055:8d56461f85ec by desharna: moved antimono to Fun and redefined it as an abbreviation
The file was modified	`NEWS`
The file was modified	`src/Doc/Main/Main_Doc.thy`
The file was modified	`src/HOL/Analysis/Nonnegative_Lebesgue_Integration.thy`
The file was modified	`src/HOL/Fun.thy`
The file was modified	`src/HOL/Lattices.thy`
The file was modified	`src/HOL/Orderings.thy`
The file was modified	`src/HOL/Real_Vector_Spaces.thy`
Changeset 76054:a4b47c684445 by desharna: moved mono and strict_mono to Fun and redefined them as abbreviations
The file was modified	`NEWS`
The file was modified	`src/Doc/Main/Main_Doc.thy`
The file was modified	`src/HOL/Fun.thy`
The file was modified	`src/HOL/Groups.thy`
The file was modified	`src/HOL/Lattices.thy`
The file was modified	`src/HOL/Orderings.thy`
The file was modified	`src/HOL/Set.thy`
The file was modified	`src/HOL/Tools/inductive.ML`

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

Summary

updated entry for Universal Turing Machines
merged
adapted to antimono
merged
adapted to new mono and strict_mono
updated to Isabelle/5ea588440b06

Changeset 12975:9e2b85708f73 by Christian Urban _christian.urban@kcl.ac.uk_: updated entry for Universal Turing Machines
The file was modified	`metadata/authors.toml`
The file was modified	`metadata/entries/Universal_Turing_Machine.toml`
The file was modified	`thys/Universal_Turing_Machine/document/root.tex`
Changeset 12974:da1092b22903 by desharna: merged
Changeset 12973:13d7491c6ab9 by desharna: adapted to antimono
The file was modified	`thys/Buchi_Complementation/Ranking.thy`
The file was modified	`thys/Markov_Models/Markov_Decision_Process.thy`
The file was modified	`thys/Stable_Matching/Contracts.thy`
The file was modified	`thys/Types_To_Sets_Extension/Examples/SML_Relativization/Simple_Orders/SML_Simple_Orders.thy`
Changeset 12972:12747ed77d71 by desharna: merged
Changeset 12971:64d28014cec0 by desharna: adapted to new mono and strict_mono
The file was modified	`thys/Conditional_Transfer_Rule/CTR/Tests/CTR_Tests.thy`
The file was modified	`thys/Conditional_Transfer_Rule/UD/UD_Reference.thy`
The file was modified	`thys/CryptHOL/Partial_Function_Set.thy`
The file was modified	`thys/Lp/Lp.thy`
The file was modified	`thys/Markov_Models/ex/PGCL.thy`
The file was modified	`thys/MonoBoolTranAlgebra/Mono_Bool_Tran_Algebra.thy`
The file was modified	`thys/Refine_Monadic/Refine_Mono_Prover.thy`
The file was modified	`thys/Transformer_Semantics/Isotone_Transformers.thy`
The file was modified	`thys/Types_To_Sets_Extension/Examples/SML_Relativization/Lattices/SML_Complete_Lattices.thy`
The file was modified	`thys/Types_To_Sets_Extension/Examples/SML_Relativization/Lattices/SML_Linorders.thy`
The file was modified	`thys/Types_To_Sets_Extension/Examples/SML_Relativization/Simple_Orders/SML_Simple_Orders.thy`
Changeset 12970:17f4fbb45f9c by desharna: updated to Isabelle/5ea588440b06
The file was modified	`thys/Markov_Models/Classifying_Markov_Chain_States.thy`
The file was modified	`thys/Ordinal_Partitions/Library_Additions.thy`
The file was modified	`thys/Refine_Monadic/Generic/RefineG_Recursion.thy`
The file was modified	`thys/Refine_Monadic/Generic/RefineG_While.thy`
The file was modified	`thys/Refine_Monadic/Refine_Misc.thy`