Diffusion afp-devel 989614410de2

update the generated files
989614410de2
Actions

Tags

None

Subscribers

None

Description

update the generated files

Details

Provenance

Frédéric Tuong

Authored on

Parents

rAFP64db8827f472: synchronize with hol-testgen/r14176

Branches

Unknown

Tags

Unknown

Event Timeline

Frédéric Tuong committed rAFP989614410de2: update the generated files.May 5 2020, 10:07 PM

Changes (1)

Path

Size

thys/

Isabelle_Meta_Model/

toy_example/

document_generated/

Design_generated_generated.thy

rAFP989614410de2

thys/Isabelle_Meta_Model/toy_example/document_generated/Design_generated_generated.thy

Loading...