Diffusion Isabelle 6a96e9406e53

reduced dependencies on List_Permutation
6a96e9406e53
Actions

Tags

None

Subscribers

None

Description

reduced dependencies on List_Permutation

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE2e6b2134956e: follow corresponding precedence on sets

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE6a96e9406e53: reduced dependencies on List_Permutation.Mar 7 2021, 8:26 AM

Empty Commit

This commit is empty and does not affect any paths.