src/HOL/Vector_Spaces.thy
Tue, 08 Oct 2019 10:26:40 +0000 haftmann formally augmented corresponding rules for field_simps
Mon, 01 Apr 2019 17:02:43 +0100 paulson A few results in Algebra, and bits for Analysis
Tue, 22 Jan 2019 12:00:16 +0000 paulson renamings and new material
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Mon, 24 Sep 2018 14:30:09 +0200 nipkow Prefix form of infix with * on either side no longer needs special treatment
Fri, 13 Jul 2018 17:27:05 +0100 paulson merged
Fri, 13 Jul 2018 17:18:07 +0100 paulson de-applying
Fri, 13 Jul 2018 12:14:26 +0200 immler relaxed assumptions for dim_image_eq and dim_image_le
Mon, 11 Jun 2018 14:49:34 +0200 immler default value for parametricity of dim
Wed, 06 Jun 2018 14:22:54 +0200 wenzelm isabelle update_comments;
Tue, 15 May 2018 13:57:39 +0200 wenzelm tuned headers;
Tue, 15 May 2018 11:33:43 +0200 immler move FuncSet back to HOL-Library (amending 493b818e8e10)
Thu, 03 May 2018 16:17:44 +0200 immler fixed HOL-Analysis
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)
Wed, 02 May 2018 13:49:38 +0200 immler added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly
less more (0) tip