Diffusion afp-devel 64db8827f472

synchronize with hol-testgen/r14176
64db8827f472
Actions

Tags

None

Subscribers

None

Description

synchronize with hol-testgen/r14176

Details

Provenance

Frédéric Tuong

Authored on

Parents

rAFPda2a32428be5: cancel some part of bf621844d77c , synchronize with hol-testgen/r13993

Branches

Unknown

Tags

Unknown

Event Timeline

Frédéric Tuong committed rAFP64db8827f472: synchronize with hol-testgen/r14176.May 5 2020, 10:06 PM

Changes (2)

Path

Size

thys/

Isabelle_Meta_Model/

toy_example/

embedding/

core/

Floor2_examp.thy

rAFP64db8827f472

thys/Isabelle_Meta_Model/toy_example/embedding/Core.thy

Loading...

thys/Isabelle_Meta_Model/toy_example/embedding/core/Floor2_examp.thy

Loading...