Diffusion Isabelle abb5e57c92a7

more multiset lemmas
abb5e57c92a7
Actions

Tags

None

Subscribers

None

Description

more multiset lemmas

Details

Provenance

Authored on

Parents

rISABELLE2746dfc9ceae: optional cartouche syntax and proper name printing in atp Isar output

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEabb5e57c92a7: more multiset lemmas.Mar 6 2024, 10:39 AM

Changes (3)

Path

Size

src/

HOL/

Library/

Multiset_Order.thy

rISABELLEabb5e57c92a7

src/HOL/Finite_Set.thy

Loading...

src/HOL/Library/Multiset.thy

Loading...

src/HOL/Library/Multiset_Order.thy

Loading...