2016-07-02 more theorems
haftmann [Sat, 02 Jul 2016 08:41:05 +0200] rev 63365
more theorems
2016-07-02 abstract and concrete multiplicative groups
haftmann [Sat, 02 Jul 2016 08:41:05 +0200] rev 63364
abstract and concrete multiplicative groups
2016-07-02 more correct comment
haftmann [Sat, 02 Jul 2016 08:41:05 +0200] rev 63363
more correct comment
2016-07-01 clarified;
wenzelm [Fri, 01 Jul 2016 16:52:54 +0200] rev 63362
clarified;
2016-07-01 misc tuning and modernization;
wenzelm [Fri, 01 Jul 2016 16:52:35 +0200] rev 63361
misc tuning and modernization;
2016-07-01 Tuned multiset lattice
Manuel Eberl <eberlm@in.tum.de> [Fri, 01 Jul 2016 10:56:54 +0200] rev 63360
Tuned multiset lattice
2016-07-01 More lemmas on Gcd/Lcm
Manuel Eberl <eberlm@in.tum.de> [Fri, 01 Jul 2016 08:35:15 +0200] rev 63359
More lemmas on Gcd/Lcm
2016-07-01 Conditionally complete lattice of multisets
Manuel Eberl <eberlm@in.tum.de> [Fri, 01 Jul 2016 08:19:53 +0200] rev 63358
Conditionally complete lattice of multisets
2016-06-25 added fundef_cong rule
nipkow [Sun, 26 Jun 2016 01:03:03 +0200] rev 63357
added fundef_cong rule
2016-06-24 misc tuning and modernization;
wenzelm [Fri, 24 Jun 2016 20:27:57 +0200] rev 63356
misc tuning and modernization;
2016-06-24 misc tuning and modernization;
wenzelm [Fri, 24 Jun 2016 18:36:14 +0200] rev 63355
misc tuning and modernization;
2016-06-23 merged
wenzelm [Thu, 23 Jun 2016 23:10:19 +0200] rev 63354
merged
2016-06-23 misc tuning and modernization;
wenzelm [Thu, 23 Jun 2016 23:08:37 +0200] rev 63353
misc tuning and modernization;
2016-06-23 tuned signature;
wenzelm [Thu, 23 Jun 2016 11:01:14 +0200] rev 63352
tuned signature;
2016-06-23 avoid overlapping equations for gcd, lcm on integers
haftmann [Thu, 23 Jun 2016 16:46:36 +0200] rev 63351
avoid overlapping equations for gcd, lcm on integers
2016-06-23 compiling implicit instances into companion objects for classes avoids ambiguities
haftmann [Thu, 23 Jun 2016 16:46:36 +0200] rev 63350
compiling implicit instances into companion objects for classes avoids ambiguities
2016-06-22 print statistics; tuned
Lars Hupel <lars.hupel@mytum.de> [Wed, 22 Jun 2016 19:01:26 +0200] rev 63349
print statistics; tuned
2016-06-22 adjust job/thread count for new hardware
Lars Hupel <lars.hupel@mytum.de> [Wed, 22 Jun 2016 16:47:55 +0200] rev 63348
adjust job/thread count for new hardware
2016-06-22 report class parameters within instantiation;
wenzelm [Wed, 22 Jun 2016 16:04:03 +0200] rev 63347
report class parameters within instantiation;
2016-06-22 clarified PIDE markup;
wenzelm [Wed, 22 Jun 2016 11:10:18 +0200] rev 63346
clarified PIDE markup;
2016-06-22 tuned;
wenzelm [Wed, 22 Jun 2016 10:42:53 +0200] rev 63345
tuned;
2016-06-22 tuned signature;
wenzelm [Wed, 22 Jun 2016 10:40:53 +0200] rev 63344
tuned signature; tuned;
2016-06-22 bundle lifting_syntax;
wenzelm [Wed, 22 Jun 2016 10:09:20 +0200] rev 63343
bundle lifting_syntax;
2016-06-21 tuned;
wenzelm [Tue, 21 Jun 2016 17:35:45 +0200] rev 63342
tuned;
2016-06-21 clarified derived bindings (for PIDE reports);
wenzelm [Tue, 21 Jun 2016 17:25:28 +0200] rev 63341
clarified derived bindings (for PIDE reports);
2016-06-21 clarified rendering (amending ae9330fdbc16);
wenzelm [Tue, 21 Jun 2016 17:21:57 +0200] rev 63340
clarified rendering (amending ae9330fdbc16);
2016-06-21 tuned whitespace;
wenzelm [Tue, 21 Jun 2016 16:10:03 +0200] rev 63339
tuned whitespace;
2016-06-21 merged
wenzelm [Tue, 21 Jun 2016 15:10:43 +0200] rev 63338
merged
2016-06-21 position information for literal facts;
wenzelm [Tue, 21 Jun 2016 14:42:47 +0200] rev 63337
position information for literal facts; Markup.entry may have empty kind/name;
2016-06-21 tuned;
wenzelm [Tue, 21 Jun 2016 11:03:24 +0200] rev 63336
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip