Diffusion afp-devel 231c5cb952ed

adapted to isabelle-dev/07c85c68ff03
231c5cb952ed
Actions

Tags

None

Subscribers

None

Description

adapted to isabelle-dev/07c85c68ff03

Details

Provenance

Authored on

Parents

rAFPa3c410f7ad14: merge

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP231c5cb952ed: adapted to isabelle-dev/07c85c68ff03.May 15 2020, 11:41 AM

Changes (7)

Path

Size

thys/

Complx/

OG_Soundness.thy

IP_Addresses/

WordInterval.thy

Iptables_Semantics/

Semantics_Embeddings.thy

Neumann_Morgenstern_Utility/

Neumann_Morgenstern_Utility_Theorem.thy

Probabilistic_Prime_Tests/

Algebraic_Auxiliaries.thy

Stable_Matching/

rAFP231c5cb952ed

thys/Complx/OG_Soundness.thy

Loading...

thys/IP_Addresses/WordInterval.thy

Loading...

thys/Iptables_Semantics/Semantics_Embeddings.thy

Loading...

thys/Neumann_Morgenstern_Utility/Neumann_Morgenstern_Utility_Theorem.thy

Loading...

thys/Probabilistic_Prime_Tests/Algebraic_Auxiliaries.thy

Loading...

thys/Stable_Matching/Basis.thy

Loading...

thys/Stable_Matching/Contracts.thy

Loading...