Sun, 03 Jun 2018 18:23:38 +0200 merged
nipkow [Sun, 03 Jun 2018 18:23:38 +0200] rev 68363
merged
Sun, 03 Jun 2018 18:23:29 +0200 allow tuple patterns in list comprehensions
nipkow [Sun, 03 Jun 2018 18:23:29 +0200] rev 68362
allow tuple patterns in list comprehensions
Sun, 03 Jun 2018 15:22:30 +0100 infinite product material
paulson <lp15@cam.ac.uk> [Sun, 03 Jun 2018 15:22:30 +0100] rev 68361
infinite product material
Sat, 02 Jun 2018 22:57:44 +0100 merged
paulson [Sat, 02 Jun 2018 22:57:44 +0100] rev 68360
merged
Sat, 02 Jun 2018 22:57:18 +0100 tidied more Cauchy proofs
paulson <lp15@cam.ac.uk> [Sat, 02 Jun 2018 22:57:18 +0100] rev 68359
tidied more Cauchy proofs
Sat, 02 Jun 2018 22:40:03 +0200 tuned proofs;
wenzelm [Sat, 02 Jun 2018 22:40:03 +0200] rev 68358
tuned proofs;
Sat, 02 Jun 2018 22:39:45 +0200 more symbols;
wenzelm [Sat, 02 Jun 2018 22:39:45 +0200] rev 68357
more symbols;
Sat, 02 Jun 2018 22:14:35 +0200 more formal comments;
wenzelm [Sat, 02 Jun 2018 22:14:35 +0200] rev 68356
more formal comments;
Sat, 02 Jun 2018 22:11:09 +0200 more args;
wenzelm [Sat, 02 Jun 2018 22:11:09 +0200] rev 68355
more args;
Sat, 02 Jun 2018 21:59:11 +0200 record active execution task and depend on it -- avoid new executions bumping into old ones;
wenzelm [Sat, 02 Jun 2018 21:59:11 +0200] rev 68354
record active execution task and depend on it -- avoid new executions bumping into old ones;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip