Diffusion afp-devel 256787b32958

adapted to Isabelle/986506233812;
256787b32958
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/986506233812;

Details

Provenance

Authored on

Parents

rAFP0d159a7589cb: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP256787b32958: adapted to Isabelle/986506233812;.Jun 25 2022, 12:33 PM

Changes (2)

Path

Size

thys/

Affine_Arithmetic/

Safe_Distance/

rAFP256787b32958

thys/Affine_Arithmetic/Print.thy

Loading...

thys/Safe_Distance/Evaluation.thy

Loading...