Tue, 17 May 2022 00:54:29 +0100 chapter2
Chengsong [Tue, 17 May 2022 00:54:29 +0100] rev 514
chapter2
Mon, 09 May 2022 17:24:26 +0100 more isarfy
Chengsong [Mon, 09 May 2022 17:24:26 +0100] rev 513
more isarfy
Mon, 09 May 2022 17:20:55 +0100 rewrite rules modified slightly
Chengsong [Mon, 09 May 2022 17:20:55 +0100] rev 512
rewrite rules modified slightly
Mon, 09 May 2022 17:17:52 +0100 isarfied
Chengsong [Mon, 09 May 2022 17:17:52 +0100] rev 511
isarfied
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 tip