Diffusion Isabelle 78929c029785

generalized type
78929c029785
Actions

Tags

None

Subscribers

None

Description

generalized type

Details

Provenance

Authored on

Parents

rISABELLE0d79ac2eb106: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE78929c029785: generalized type.May 11 2021, 10:40 PM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLE78929c029785

src/HOL/Library/AList.thy

Loading...