Diffusion Isabelle b0ef3aae2bdb

tuned theory structure
b0ef3aae2bdb
Actions

Tags

None

Subscribers

None

Description

tuned theory structure

Details

Provenance

Authored on

Parents

rISABELLE93f294ad42e6: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLEb0ef3aae2bdb: tuned theory structure.May 10 2023, 8:56 AM

Changes (1)

Path

Size

src/

HOL/

Library/

Multiset_Order.thy

rISABELLEb0ef3aae2bdb

src/HOL/Library/Multiset_Order.thy

Loading...