HomeIsabelle/Phabricator
Diffusion Isabelle 9db620f007fa

More general fold function for maps
9db620f007fa
Actions

Description

More general fold function for maps

Details

Provenance
nipkowAuthored on
Parents
rISABELLE26c0ccf17f31: more accurate export morphism enables proper instantiation by interpretation
Branches
Unknown
Tags
Unknown

Changes (15)

PathSize
src/
HOL/
Library/

rISABELLE9db620f007fa

View Options

src/HOL/Finite_Set.thy

Loading...
View Options

src/HOL/Library/AList.thy

Loading...
View Options

src/HOL/Library/AList_Mapping.thy

Loading...
View Options

src/HOL/Library/FSet.thy

Loading...
View Options

src/HOL/Library/Finite_Lattice.thy

Loading...
View Options

src/HOL/Library/Mapping.thy

Loading...
View Options

src/HOL/Library/Multiset.thy

Loading...
View Options

src/HOL/Library/RBT.thy

Loading...
View Options

src/HOL/Library/RBT_Mapping.thy

Loading...
View Options

src/HOL/Library/RBT_Set.thy

Loading...
View Options

src/HOL/Lifting_Set.thy

Loading...
View Options

src/HOL/List.thy

Loading...
View Options

src/HOL/Map.thy

Loading...
View Options

src/HOL/Relation.thy

Loading...
View Options

src/HOL/Topological_Spaces.thy

Loading...