Sat, 08 Jan 2022 15:26:33 +0000 from christian
Chengsong [Sat, 08 Jan 2022 15:26:33 +0000] rev 384
from christian
Fri, 07 Jan 2022 22:29:14 +0000 updated
Christian Urban <christian.urban@kcl.ac.uk> [Fri, 07 Jan 2022 22:29:14 +0000] rev 383
updated
Fri, 07 Jan 2022 22:28:23 +0000 deleted *.tex files from Journal - they are recreated
Christian Urban <christian.urban@kcl.ac.uk> [Fri, 07 Jan 2022 22:28:23 +0000] rev 382
deleted *.tex files from Journal - they are recreated
Fri, 07 Jan 2022 22:25:26 +0000 isarfied some proofs
Christian Urban <christian.urban@kcl.ac.uk> [Fri, 07 Jan 2022 22:25:26 +0000] rev 381
isarfied some proofs
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 tip