isabelle: File revisions

src/HOL/Analysis/Homotopy.thy

Fri, 26 Apr 2019 16:51:40 +0100	paulson	Added embedding_map_into_euclideanreal; reduced dependence on Equivalence_Lebesgue_Henstock_Integration in Analysis theories by moving a few lemmas	file \| diff \| annotate
Fri, 12 Apr 2019 22:09:25 +0200	wenzelm	modernized tags: default scope excludes proof;	file \| diff \| annotate
Tue, 02 Apr 2019 14:51:27 +0200	wenzelm	eliminated hard TABs;	file \| diff \| annotate
Tue, 26 Mar 2019 17:01:36 +0000	paulson	generalised homotopic_with to topologies; homotopic_with_canon is the old version	file \| diff \| annotate
Tue, 19 Mar 2019 16:14:51 +0000	paulson	new material about topology, etc.; also fixes for yesterday's	file \| diff \| annotate
Mon, 18 Mar 2019 15:35:34 +0000	paulson	new material;' strengthened material; moved proofs out of Function_Topology in order to lessen its dependencies	file \| diff \| annotate
Thu, 31 Jan 2019 13:08:59 +0000	haftmann	proper congruence rule for image operator	file \| diff \| annotate
Tue, 22 Jan 2019 12:00:16 +0000	paulson	renamings and new material	file \| diff \| annotate
Mon, 07 Jan 2019 14:57:45 +0100	immler	split off Homotopy.thy	file \| diff \| annotate

isabelle