8 months ago merged
paulson [Mon, 26 Aug 2024 22:14:19 +0100] rev 80778
merged
8 months ago More tidying of old proofs
paulson <lp15@cam.ac.uk> [Mon, 26 Aug 2024 21:59:35 +0100] rev 80777
More tidying of old proofs
8 months ago more precise bound
nipkow [Mon, 26 Aug 2024 22:52:27 +0200] rev 80776
more precise bound
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip