Florian Dold c43922a58d expand justifications / agree with append-only log		2020-07-01 21:27:27 +05:30
..
report-202005.pdf	response to CB	2020-06-30 14:37:58 +02:00
response-202005.tex	expand justifications / agree with append-only log	2020-07-01 21:27:27 +05:30