Tue, 05 Jul 2016 17:52:08 +0200 blanchet tuning
Tue, 05 Jul 2016 17:52:08 +0200 blanchet typo (reported by Anders Schlichtkrull)
Tue, 05 Jul 2016 11:47:49 +0200 hoelzl simplified proof for measurability of isCont
Tue, 05 Jul 2016 13:05:04 +0200 fleury instantiate multiset with multiset ordering
Tue, 05 Jul 2016 10:26:23 +0200 Lars Hupel more accurate total timing
Tue, 05 Jul 2016 09:50:20 +0200 Lars Hupel merged
Mon, 04 Jul 2016 18:20:51 +0200 Lars Hupel tuned
Mon, 04 Jul 2016 20:51:04 +0200 wenzelm merged
Mon, 04 Jul 2016 20:48:55 +0200 wenzelm NEWS;
Mon, 04 Jul 2016 20:33:47 +0200 wenzelm clarified positions, e.g. for reports on literal facts;
Mon, 04 Jul 2016 20:01:57 +0200 wenzelm tuned whitespace;
Mon, 04 Jul 2016 19:57:56 +0200 wenzelm tuned;
Mon, 04 Jul 2016 19:39:59 +0200 wenzelm tuned;
Mon, 04 Jul 2016 19:49:25 +0200 haftmann spelling
Mon, 04 Jul 2016 19:46:20 +0200 haftmann combinator to build partial equivalence relations from a predicate and an equivalenc relation
Mon, 04 Jul 2016 19:46:20 +0200 haftmann default one-step rules for predicates on relations;
Mon, 04 Jul 2016 19:46:20 +0200 haftmann basic facts about almost everywhere fix bijections
Mon, 04 Jul 2016 19:46:19 +0200 haftmann dedicated locale for total bijections
Mon, 04 Jul 2016 19:46:19 +0200 haftmann tuned sections
Mon, 04 Jul 2016 19:46:19 +0200 haftmann relating gbinomial and binomial, still using distinct definitions
Mon, 04 Jul 2016 19:08:54 +0200 wenzelm clarified fact position, notably for reports on literal facts;
Mon, 04 Jul 2016 14:51:19 +0200 wenzelm more accurate facts index;
Mon, 04 Jul 2016 11:11:19 +0200 wenzelm tuned signature;
Mon, 04 Jul 2016 10:29:56 +0200 wenzelm tuned signature;
Sat, 02 Jul 2016 20:22:25 +0200 haftmann simplified definitions of combinatorial functions
Sat, 02 Jul 2016 15:02:24 +0200 haftmann define binomial coefficents directly via combinatorial definition
Sat, 02 Jul 2016 08:41:05 +0200 haftmann more theorems
Sat, 02 Jul 2016 08:41:05 +0200 haftmann abstract and concrete multiplicative groups
Sat, 02 Jul 2016 08:41:05 +0200 haftmann more correct comment
Fri, 01 Jul 2016 16:52:54 +0200 wenzelm clarified;
Fri, 01 Jul 2016 16:52:35 +0200 wenzelm misc tuning and modernization;
Fri, 01 Jul 2016 10:56:54 +0200 Manuel Eberl Tuned multiset lattice
Fri, 01 Jul 2016 08:35:15 +0200 Manuel Eberl More lemmas on Gcd/Lcm
Fri, 01 Jul 2016 08:19:53 +0200 Manuel Eberl Conditionally complete lattice of multisets
Sun, 26 Jun 2016 01:03:03 +0200 nipkow added fundef_cong rule
Fri, 24 Jun 2016 20:27:57 +0200 wenzelm misc tuning and modernization;
Fri, 24 Jun 2016 18:36:14 +0200 wenzelm misc tuning and modernization;
Thu, 23 Jun 2016 23:10:19 +0200 wenzelm merged
Thu, 23 Jun 2016 23:08:37 +0200 wenzelm misc tuning and modernization;
Thu, 23 Jun 2016 11:01:14 +0200 wenzelm tuned signature;
Thu, 23 Jun 2016 16:46:36 +0200 haftmann avoid overlapping equations for gcd, lcm on integers
Thu, 23 Jun 2016 16:46:36 +0200 haftmann compiling implicit instances into companion objects for classes avoids ambiguities
Wed, 22 Jun 2016 19:01:26 +0200 Lars Hupel print statistics; tuned
Wed, 22 Jun 2016 16:47:55 +0200 Lars Hupel adjust job/thread count for new hardware
Wed, 22 Jun 2016 16:04:03 +0200 wenzelm report class parameters within instantiation;
Wed, 22 Jun 2016 11:10:18 +0200 wenzelm clarified PIDE markup;
Wed, 22 Jun 2016 10:42:53 +0200 wenzelm tuned;
Wed, 22 Jun 2016 10:40:53 +0200 wenzelm tuned signature;
Wed, 22 Jun 2016 10:09:20 +0200 wenzelm bundle lifting_syntax;
Tue, 21 Jun 2016 17:35:45 +0200 wenzelm tuned;
Tue, 21 Jun 2016 17:25:28 +0200 wenzelm clarified derived bindings (for PIDE reports);
Tue, 21 Jun 2016 17:21:57 +0200 wenzelm clarified rendering (amending ae9330fdbc16);
Tue, 21 Jun 2016 16:10:03 +0200 wenzelm tuned whitespace;
Tue, 21 Jun 2016 15:10:43 +0200 wenzelm merged
Tue, 21 Jun 2016 14:42:47 +0200 wenzelm position information for literal facts;
Tue, 21 Jun 2016 11:03:24 +0200 wenzelm tuned;
Tue, 21 Jun 2016 10:41:29 +0200 wenzelm tuned;
Tue, 21 Jun 2016 12:10:44 +0200 hoelzl Multivariate_Analysis: add continuous_on_vec_lambda
Thu, 16 Jun 2016 23:03:27 +0200 hoelzl Probability: show that measures form a complete lattice
Wed, 15 Jun 2016 22:19:03 +0200 hoelzl move open_Collect_eq/less to HOL
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip