Changes

Summary

merged
some HTML GUI elements;
proper bootstrap_name (amending b42743f5b595);
clarified indentation;
More tidying of horrible proofs
A few renamings and several tidied-up proofs

Changeset 66197:c8604c9f3a8a by wenzelm: merged
Changeset 66196:31c9b09cc1d4 by wenzelm: some HTML GUI elements;
The file was modified	`src/Pure/PIDE/xml.scala` (diff)
The file was modified	`src/Pure/Thy/html.scala` (diff)
Changeset 66195:bb886f13623a by wenzelm: proper bootstrap_name (amending b42743f5b595);
The file was modified	`src/Pure/PIDE/document.scala` (diff)
The file was modified	`src/Pure/Thy/sessions.scala` (diff)
The file was modified	`src/Pure/Thy/thy_header.scala` (diff)
The file was modified	`src/Tools/VSCode/src/vscode_resources.scala` (diff)
The file was modified	`src/Tools/jEdit/src/jedit_resources.scala` (diff)
Changeset 66194:8d34d42c40cb by wenzelm: clarified indentation;
The file was modified	`src/Pure/Pure.thy` (diff)
Changeset 66193:6e6eeef63589 by paulson _lp15@cam.ac.uk_: More tidying of horrible proofs
The file was modified	`src/HOL/Analysis/Cauchy_Integral_Theorem.thy` (diff)
The file was modified	`src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy` (diff)
The file was modified	`src/HOL/Analysis/Henstock_Kurzweil_Integration.thy` (diff)
The file was modified	`src/HOL/Analysis/Tagged_Division.thy` (diff)
Changeset 66192:e5b84854baa4 by paulson _lp15@cam.ac.uk_: A few renamings and several tidied-up proofs
The file was modified	`src/HOL/Analysis/Cauchy_Integral_Theorem.thy` (diff)
The file was modified	`src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy` (diff)
The file was modified	`src/HOL/Analysis/Henstock_Kurzweil_Integration.thy` (diff)
The file was modified	`src/HOL/Analysis/Tagged_Division.thy` (diff)
The file was modified	`src/HOL/Probability/Probability_Mass_Function.thy` (diff)