Diffusion afp-devel cdc40199823d

new entry Relational_Method
cdc40199823d
Actions

Tags

None

Subscribers

None

Description

new entry Relational_Method

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPb33e4e32b4ec: merge

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPcdc40199823d: new entry Relational_Method.Dec 7 2020, 1:03 PM

Changes (11)

Path

Size

Relational_Method

Authentication.thy

Definitions.thy

Possibility.thy

rAFPcdc40199823d

thys/ROOTS

Loading...

thys/Relational_Method/Anonymity.thy

Loading...

thys/Relational_Method/Authentication.thy

Loading...

thys/Relational_Method/Definitions.thy

Loading...

thys/Relational_Method/Possibility.thy

Loading...

thys/Relational_Method/ROOT

Loading...

thys/Relational_Method/document/root.bib

Loading...

thys/Relational_Method/document/root.tex

Loading...