Diffusion Isabelle 43b3d5318d72

fixed dodgy intro! attributes
43b3d5318d72
Actions

Tags

None

Subscribers

None

Description

fixed dodgy intro! attributes

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE2e16798b6f2b: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE43b3d5318d72: fixed dodgy intro! attributes.Jan 25 2022, 3:13 PM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLE43b3d5318d72

src/HOL/Library/More_List.thy

Loading...