Diffusion Isabelle 74be394e2f0a

eliminate add_mset
74be394e2f0a
Actions

Tags

None

Subscribers

None

Description

eliminate add_mset

Details

Provenance

Authored on

Parents

rISABELLE58b1826354c9: NEWS and CONTRIBUTORS

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE74be394e2f0a: eliminate add_mset.Nov 5 2020, 11:36 AM

Changes (1)

Path

Size

src/

HOL/

Data_Structures/

rISABELLE74be394e2f0a

src/HOL/Data_Structures/Sorting.thy

Loading...