HomeIsabelle/Phabricator
Diffusion afp-devel 626c957d2647

New submission: CSP_RefTK
626c957d2647
Actions

Description

New submission: CSP_RefTK

Details

Provenance
pruvistoAuthored on
Parents
rAFP2da14e4d854f: webpage for Delta_System_Lemma
Branches
Unknown
Tags
Unknown

Changes (18)

PathSize

rAFP626c957d2647

View Options

thys/CSP_RefTK/Assertions_ext.thy

Loading...
View Options

thys/CSP_RefTK/Conclusion.thy

Loading...
View Options

thys/CSP_RefTK/CopyBuffer_props.thy

Loading...
View Options

thys/CSP_RefTK/DiningPhilosophers.thy

Loading...
View Options

thys/CSP_RefTK/Fix_ind_ext.thy

Loading...
View Options

thys/CSP_RefTK/Introduction.thy

Loading...
View Options

thys/CSP_RefTK/Process_norm.thy

Loading...
View Options

thys/CSP_RefTK/Properties.thy

Loading...
View Options

thys/CSP_RefTK/ROOT

Loading...
View Options

thys/CSP_RefTK/document/adb-long.bib

Loading...
View Options

thys/CSP_RefTK/document/figures/session_graph.pdf

Loading...
View Options

thys/CSP_RefTK/document/root.bib

Loading...
View Options

thys/CSP_RefTK/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...