Diffusion Isabelle ab9e27da0e85

HOL-Library: Changed notation for sum_mset
ab9e27da0e85
Actions

Tags

None

Subscribers

None

Description

HOL-Library: Changed notation for sum_mset

Details

Provenance

Authored on

Parents

rISABELLE32edc2b4e243: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rISABELLEab9e27da0e85: HOL-Library: Changed notation for sum_mset.Jan 4 2021, 7:41 PM

Changes (4)

Path

Size

src/

HOL/

Computational_Algebra/

Data_Structures/

Library/

rISABELLEab9e27da0e85

NEWS

Loading...

src/HOL/Computational_Algebra/Primes.thy

Loading...

src/HOL/Data_Structures/Sorting.thy

Loading...

src/HOL/Library/Multiset.thy

Loading...