Thu, 27 Aug 2020 12:43:06 +0200 tuned;
wenzelm [Thu, 27 Aug 2020 12:43:06 +0200] rev 72448
tuned;
Thu, 27 Aug 2020 12:34:10 +0200 clarified signature;
wenzelm [Thu, 27 Aug 2020 12:34:10 +0200] rev 72447
clarified signature;
Fri, 28 Aug 2020 12:04:36 +0100 small quantifier fixes
paulson <lp15@cam.ac.uk> [Fri, 28 Aug 2020 12:04:36 +0100] rev 72446
small quantifier fixes
Thu, 27 Aug 2020 16:48:21 +0100 just a bit of streamlining
paulson <lp15@cam.ac.uk> [Thu, 27 Aug 2020 16:48:21 +0100] rev 72445
just a bit of streamlining
Thu, 27 Aug 2020 15:23:48 +0100 but not the [cong] rule
paulson <lp15@cam.ac.uk> [Thu, 27 Aug 2020 15:23:48 +0100] rev 72444
but not the [cong] rule
Thu, 27 Aug 2020 12:14:46 +0100 tidying up some theorem statements
paulson <lp15@cam.ac.uk> [Thu, 27 Aug 2020 12:14:46 +0100] rev 72443
tidying up some theorem statements
Wed, 26 Aug 2020 15:59:21 +0100 tiny tidy-up of proofs
paulson <lp15@cam.ac.uk> [Wed, 26 Aug 2020 15:59:21 +0100] rev 72442
tiny tidy-up of proofs
Tue, 25 Aug 2020 23:21:38 +0200 updated to scala-2.12.12;
wenzelm [Tue, 25 Aug 2020 23:21:38 +0200] rev 72441
updated to scala-2.12.12;
Tue, 25 Aug 2020 22:56:34 +0200 updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;
wenzelm [Tue, 25 Aug 2020 22:56:34 +0200] rev 72440
updated to polyml-test-a3cfdf648da: performance improvements for GC statistics;
Tue, 25 Aug 2020 15:14:46 +0200 NEWS;
wenzelm [Tue, 25 Aug 2020 15:14:46 +0200] rev 72439
NEWS;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip