Re: [isabelle] New in the AFP: Sigma Protocols and Commitment Schemes



On 25/10/2019 19:14, Makarius wrote:
> On 08/10/2019 14:04, Peter Lammich wrote:
> 
> Concerning the session graph display: there is always a bit of
> variability in what to show and what to hide; included is a trimmed-down
> version according to Isabelle/79d23e6436d0.

Here is the missing attachment.


	Makarius

Attachment: session_graph.pdf
Description: Adobe PDF document



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.