wenzelm [Mon, 04 Jul 2016 10:29:56 +0200] rev 63368
tuned signature;
haftmann [Sat, 02 Jul 2016 20:22:25 +0200] rev 63367
simplified definitions of combinatorial functions
haftmann [Sat, 02 Jul 2016 15:02:24 +0200] rev 63366
define binomial coefficents directly via combinatorial definition
haftmann [Sat, 02 Jul 2016 08:41:05 +0200] rev 63365
more theorems
haftmann [Sat, 02 Jul 2016 08:41:05 +0200] rev 63364
abstract and concrete multiplicative groups
haftmann [Sat, 02 Jul 2016 08:41:05 +0200] rev 63363
more correct comment
wenzelm [Fri, 01 Jul 2016 16:52:54 +0200] rev 63362
clarified;
wenzelm [Fri, 01 Jul 2016 16:52:35 +0200] rev 63361
misc tuning and modernization;
Manuel Eberl <eberlm@in.tum.de> [Fri, 01 Jul 2016 10:56:54 +0200] rev 63360
Tuned multiset lattice
Manuel Eberl <eberlm@in.tum.de> [Fri, 01 Jul 2016 08:35:15 +0200] rev 63359
More lemmas on Gcd/Lcm
Manuel Eberl <eberlm@in.tum.de> [Fri, 01 Jul 2016 08:19:53 +0200] rev 63358
Conditionally complete lattice of multisets
nipkow [Sun, 26 Jun 2016 01:03:03 +0200] rev 63357
added fundef_cong rule
wenzelm [Fri, 24 Jun 2016 20:27:57 +0200] rev 63356
misc tuning and modernization;
wenzelm [Fri, 24 Jun 2016 18:36:14 +0200] rev 63355
misc tuning and modernization;
wenzelm [Thu, 23 Jun 2016 23:10:19 +0200] rev 63354
merged
wenzelm [Thu, 23 Jun 2016 23:08:37 +0200] rev 63353
misc tuning and modernization;
wenzelm [Thu, 23 Jun 2016 11:01:14 +0200] rev 63352
tuned signature;
haftmann [Thu, 23 Jun 2016 16:46:36 +0200] rev 63351
avoid overlapping equations for gcd, lcm on integers
haftmann [Thu, 23 Jun 2016 16:46:36 +0200] rev 63350
compiling implicit instances into companion objects for classes avoids ambiguities
Lars Hupel <lars.hupel@mytum.de> [Wed, 22 Jun 2016 19:01:26 +0200] rev 63349
print statistics; tuned
Lars Hupel <lars.hupel@mytum.de> [Wed, 22 Jun 2016 16:47:55 +0200] rev 63348
adjust job/thread count for new hardware
wenzelm [Wed, 22 Jun 2016 16:04:03 +0200] rev 63347
report class parameters within instantiation;
wenzelm [Wed, 22 Jun 2016 11:10:18 +0200] rev 63346
clarified PIDE markup;
wenzelm [Wed, 22 Jun 2016 10:42:53 +0200] rev 63345
tuned;