isabelle: File revisions

src/HOL/Modules.thy

Mon, 23 Sep 2024 13:32:38 +0200	wenzelm	standardize mixfix annotations via "isabelle update -u mixfix_cartouches -l Pure HOL" --- to simplify systematic editing;	file \| diff \| annotate
Wed, 09 Oct 2019 14:51:54 +0000	haftmann	dedicated fact collections for algebraic simplification rules potentially splitting goals	file \| diff \| annotate
Tue, 08 Oct 2019 10:26:40 +0000	haftmann	formally augmented corresponding rules for field_simps	file \| diff \| annotate
Mon, 24 Sep 2018 14:30:09 +0200	nipkow	*Prefix form of infix with on either side no longer needs special treatment**	file \| diff \| annotate
Tue, 15 May 2018 13:57:39 +0200	wenzelm	tuned headers;	file \| diff \| annotate
Thu, 03 May 2018 16:17:44 +0200	immler	fixed HOL-Analysis	file \| diff \| annotate
Thu, 03 May 2018 15:07:14 +0200	immler	merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)	file \| diff \| annotate
Wed, 02 May 2018 13:49:38 +0200	immler	added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly	file \| diff \| annotate

isabelle