Mon, 02 Dec 2019 17:15:17 +0000 haftmann more rules
Mon, 02 Dec 2019 17:15:16 +0000 haftmann tuned material
Mon, 02 Dec 2019 13:57:32 -0500 immler tuned Analysis manual
Mon, 02 Dec 2019 13:41:44 -0500 immler tuned Analysis manual
Mon, 02 Dec 2019 18:29:22 +0100 nipkow tuned manual
Mon, 02 Dec 2019 17:51:54 +0100 Manuel Eberl Reorganised HOL-Complex_Analysis draft
Mon, 02 Dec 2019 14:22:28 +0100 Manuel Eberl Removed duplicate theorems from HOL-Analysis
Mon, 02 Dec 2019 14:22:03 +0100 Manuel Eberl Flattened dependency tree of HOL-Analysis
Mon, 02 Dec 2019 10:31:51 +0100 Manuel Eberl Merged
Sun, 01 Dec 2019 22:47:28 +0000 Wenda Li merged
Sun, 01 Dec 2019 22:46:09 +0000 Wenda Li tuned Analysis/Analysis;
Sun, 01 Dec 2019 17:51:23 +0000 haftmann characterization of typical bit operations
Sun, 01 Dec 2019 19:15:55 +0000 Wenda Li merged
Sun, 01 Dec 2019 19:10:57 +0000 Wenda Li renamed Analysis/Winding_Numbers to Winding_Numbers_2; reorganised Analysis/Cauchy_Integral_Theorem by splitting it into Contour_Integration, Winding_Numbers,Cauchy_Integral_Theorem and Cauchy_Integral_Formula.
Sun, 01 Dec 2019 08:01:00 +0000 haftmann transfer rule for bit operation
Sun, 01 Dec 2019 08:00:59 +0000 haftmann characterization of singleton bit operation
Sun, 01 Dec 2019 11:51:17 +0100 Manuel Eberl Simplified Harmonic_Numbers
Sat, 30 Nov 2019 13:47:33 +0100 Manuel Eberl Split off new HOL-Complex_Analysis session from HOL-Analysis
Wed, 27 Nov 2019 16:54:33 +0000 haftmann bit accessor and fundamental properties
Fri, 29 Nov 2019 21:53:02 +0100 wenzelm merged
Fri, 29 Nov 2019 20:57:04 +0100 wenzelm more informative spec rules: optional name;
Fri, 29 Nov 2019 20:52:28 +0100 wenzelm proper theory context, e.g. for Thm.transfer;
Thu, 28 Nov 2019 18:13:23 +0100 wenzelm more structural integrity;
Fri, 29 Nov 2019 21:29:18 +0100 nipkow tuned
Fri, 29 Nov 2019 17:43:00 +0100 nipkow reduced imports; deleted unusewd minor lemmas for that purpose
Fri, 29 Nov 2019 15:06:04 +0100 nipkow tuned
Fri, 29 Nov 2019 11:04:47 +0100 nipkow reduced imports and removed unused material
Fri, 29 Nov 2019 10:24:44 +0100 nipkow reduced imports draft
Thu, 28 Nov 2019 23:06:22 +0100 nipkow tuned
Thu, 28 Nov 2019 20:38:07 +0100 nipkow merged
Thu, 28 Nov 2019 16:43:02 +0000 paulson Fixed a few messy proofs and adjusted inconsistent section headings
Thu, 28 Nov 2019 18:40:39 +0100 nipkow reduced imports
Thu, 28 Nov 2019 17:45:25 +0100 nipkow reduced imports draft
Thu, 28 Nov 2019 15:51:54 +0000 paulson A more informative comment
Tue, 26 Nov 2019 14:32:08 +0000 paulson Rearrangement of material in Complex_Analysis_Basics, which contained much that had nothing to do with complex analysis.
Tue, 26 Nov 2019 08:09:44 +0100 ballarin Remove diagnostic command 'print_dependencies'.
Mon, 25 Nov 2019 13:28:31 +0100 wenzelm support for output messages;
Mon, 25 Nov 2019 12:41:52 +0100 wenzelm tuned;
Mon, 25 Nov 2019 12:19:14 +0100 wenzelm tuned -- avoid deprecated constructors;
Mon, 25 Nov 2019 12:16:26 +0100 wenzelm tuned signature;
Mon, 25 Nov 2019 10:58:15 +0100 wenzelm avoid vacuous session Pure -- dump does not read_pure_theory;
Sun, 24 Nov 2019 22:54:42 +0100 wenzelm updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);
Sun, 24 Nov 2019 15:45:32 +0100 wenzelm clarified vacuous selection vs. Pure;
Sun, 24 Nov 2019 15:31:28 +0100 wenzelm tuned signature;
Sat, 23 Nov 2019 09:56:11 +0000 haftmann tuned theory structure
Sat, 23 Nov 2019 16:02:42 +0100 wenzelm more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump";
Sat, 23 Nov 2019 14:48:44 +0100 wenzelm clarified signature;
Sat, 23 Nov 2019 11:45:02 +0100 wenzelm tuned proofs;
Sat, 23 Nov 2019 11:36:42 +0100 wenzelm clarified error: tmp file can be invalid in odd situations;
Sat, 23 Nov 2019 11:28:15 +0100 wenzelm more robust: file length can be invalid in odd situations;
Sat, 23 Nov 2019 11:19:18 +0100 wenzelm tuned;
Fri, 22 Nov 2019 15:26:08 +0100 haftmann tuned whitespace
Fri, 22 Nov 2019 09:25:01 +0000 haftmann proper prefix syntax
Fri, 22 Nov 2019 09:24:54 +0000 haftmann removed unused auxiliary lemmas
Thu, 21 Nov 2019 15:22:24 +0100 wenzelm tuned;
Thu, 21 Nov 2019 13:25:27 +0100 wenzelm added document antiquotation @{system_option};
Wed, 20 Nov 2019 17:26:04 +0100 wenzelm improved performance of session exports via bulk transactions;
Wed, 20 Nov 2019 16:56:03 +0100 wenzelm tuned signature;
Wed, 20 Nov 2019 16:28:13 +0100 wenzelm support for bulk operations: consume mailbox content in batches;
Wed, 20 Nov 2019 12:21:54 +0100 wenzelm clarified signature -- more explicit types;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip