Changes

Summary

generalized
proper operation in weakly-typed Scala (amending 06153e2e0cdb);
tuned
moved retracts
tagged 4 theories

Changeset 69741:ac9704fd0935 by immler _immler@in.tum.de_: generalized
The file was modified	`src/HOL/Analysis/Topology_Euclidean_Space.thy` (diff)
Changeset 69740:18d383f41477 by wenzelm: proper operation in weakly-typed Scala (amending 06153e2e0cdb);
The file was modified	`src/Pure/Admin/build_status.scala` (diff)
Changeset 69739:8b47c021666e by nipkow: tuned
The file was modified	`src/HOL/Analysis/Binary_Product_Measure.thy` (diff)
The file was modified	`src/HOL/Analysis/Bochner_Integration.thy` (diff)
The file was modified	`src/HOL/Analysis/Borel_Space.thy` (diff)
The file was modified	`src/HOL/Analysis/Change_Of_Vars.thy` (diff)
The file was modified	`src/HOL/Analysis/Finite_Product_Measure.thy` (diff)
The file was modified	`src/HOL/Analysis/Homeomorphism.thy` (diff)
The file was modified	`src/HOL/Analysis/Poly_Roots.thy` (diff)
The file was modified	`src/HOL/Analysis/Radon_Nikodym.thy` (diff)
The file was modified	`src/HOL/Analysis/Regularity.thy` (diff)
Changeset 69738:c558fef62915 by nipkow: moved retracts
The file was modified	`src/HOL/Analysis/Brouwer_Fixpoint.thy` (diff)
The file was modified	`src/HOL/Analysis/Elementary_Topology.thy` (diff)
The file was modified	`src/HOL/Analysis/Topology_Euclidean_Space.thy` (diff)
Changeset 69737:ec3cc98c38db by angeliki koutsoukouargyraki _ak2110@cam.ac.uk_: tagged 4 theories
The file was modified	`src/HOL/Analysis/Set_Integral.thy` (diff)
The file was modified	`src/HOL/Analysis/Simplex_Content.thy` (diff)
The file was modified	`src/HOL/Analysis/Vitali_Covering_Theorem.thy` (diff)
The file was modified	`src/HOL/Analysis/Weierstrass_Theorems.thy` (diff)