Diffusion Isabelle 4dc3baf45d6a

more appropriate location
4dc3baf45d6a
Actions

Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Mute Notifications
Award Token
Flag For Later

Description

more appropriate location

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEb4b70d13c995: collected lemmas on permutations

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE4dc3baf45d6a: more appropriate location.May 5 2021, 6:09 PM

Changes (11)

Path

Size

	Combinatorics/
	Library/

ex/

Specifications_with_bundle_mixins.thy

rISABELLE4dc3baf45d6a

View Options

NEWS

View Options

src/HOL/Combinatorics/Combinatorics.thy

View Options

src/HOL/Combinatorics/Perm.thy

View Options

src/HOL/Library/Library.thy

View Options

src/HOL/Library/Perm.thy

View Options

src/HOL/ex/Perm_Fragments.thy

View Options

src/HOL/ex/Specifications_with_bundle_mixins.thy

more appropriate location4dc3baf45d6aActions

Description

Details

Event Timeline

Changes (11)

rISABELLE4dc3baf45d6a

NEWS

src/HOL/Combinatorics/Combinatorics.thy

src/HOL/Combinatorics/Perm.thy

src/HOL/Library/Library.thy

src/HOL/Library/Perm.thy

src/HOL/ex/Perm_Fragments.thy

src/HOL/ex/Specifications_with_bundle_mixins.thy

more appropriate location
4dc3baf45d6a
Actions