Changes

Summary

Mostly renaming (from HOL Light to Isabelle conventions), with a couple of new results

Changeset 62843:313d3b697c9a by paulson _lp15@cam.ac.uk_: Mostly renaming (from HOL Light to Isabelle conventions), with a couple of new results
The file was modified	`src/HOL/Fun.thy` (diff)
The file was modified	`src/HOL/Library/Disjoint_Sets.thy` (diff)
The file was modified	`src/HOL/Multivariate_Analysis/Brouwer_Fixpoint.thy` (diff)
The file was modified	`src/HOL/Multivariate_Analysis/Cauchy_Integral_Thm.thy` (diff)
The file was modified	`src/HOL/Multivariate_Analysis/Complex_Transcendental.thy` (diff)
The file was modified	`src/HOL/Multivariate_Analysis/Conformal_Mappings.thy` (diff)
The file was modified	`src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy` (diff)
The file was modified	`src/HOL/Multivariate_Analysis/Determinants.thy` (diff)
The file was modified	`src/HOL/Multivariate_Analysis/Extended_Real_Limits.thy` (diff)
The file was modified	`src/HOL/Multivariate_Analysis/Path_Connected.thy` (diff)
The file was modified	`src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy` (diff)
The file was modified	`src/HOL/Multivariate_Analysis/Weierstrass.thy` (diff)
The file was modified	`src/HOL/Set.thy` (diff)
The file was modified	`src/HOL/Topological_Spaces.thy` (diff)