Diffusion afp-devel 90fe8dfd1261

fix typo (Bauer -> Bayer)
90fe8dfd1261
Actions

Tags

None

Subscribers

None

Description

fix typo (Bauer -> Bayer)

Details

Provenance

Authored on

Parents

rAFPbe7b3ad01ba4: new entry BTree

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP90fe8dfd1261: fix typo (Bauer -> Bayer).Feb 26 2021, 9:26 AM

Changes (2)

Path

Size

metadata/

thys/

BTree/

rAFP90fe8dfd1261

metadata/metadata

Loading...

thys/BTree/BTree_Set.thy

Loading...