Changes

Summary

Changeset 79568:1c2d9debe82a by wenzelm: proper windows_app/launch4j-linux_arm;
The file was modified	`Admin/components/bundled-windows` (diff)
The file was modified	`Admin/components/components.sha1` (diff)
Changeset 79567:a51ecbb81dcc by paulson: merged
Changeset 79566:f783490c6c99 by paulson _lp15@cam.ac.uk_: A small number of new lemmas
The file was modified	`src/HOL/Analysis/Brouwer_Fixpoint.thy` (diff)
The file was modified	`src/HOL/Analysis/Change_Of_Vars.thy` (diff)
The file was modified	`src/HOL/Analysis/Derivative.thy` (diff)
The file was modified	`src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy` (diff)
The file was modified	`src/HOL/Analysis/Starlike.thy` (diff)
The file was modified	`src/HOL/Analysis/Tagged_Division.thy` (diff)
The file was modified	`src/HOL/Analysis/Vitali_Covering_Theorem.thy` (diff)
The file was modified	`src/HOL/Binomial.thy` (diff)
The file was modified	`src/HOL/Factorial.thy` (diff)
The file was modified	`src/HOL/Library/Extended_Nonnegative_Real.thy` (diff)
The file was modified	`src/HOL/Power.thy` (diff)
The file was modified	`src/HOL/Rings.thy` (diff)
The file was modified	`src/HOL/Set.thy` (diff)
The file was modified	`src/HOL/Set_Interval.thy` (diff)
The file was modified	`src/HOL/ex/BigO.thy` (diff)
Changeset 79565:82fbd5919f24 by haftmann: explicit reference to code_dt
The file was modified	`src/Doc/Codegen/Refinement.thy` (diff)