Diffusion Isabelle a3e7a323780f

remove selected occurrences of 'moura' tactic
a3e7a323780f
Actions

Tags

None

Subscribers

None

Description

remove selected occurrences of 'moura' tactic

Details

Provenance

Authored on

Parents

rISABELLE9f36a31fe7ae: added lemmas relpowp_left_unique and relpow_left_unique

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rISABELLEa3e7a323780f: remove selected occurrences of 'moura' tactic.Feb 19 2024, 2:31 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Library/

Multiset_Order.thy

rISABELLEa3e7a323780f

src/HOL/Analysis/Retracts.thy

Loading...

src/HOL/Library/Multiset_Order.thy

Loading...