Diffusion Isabelle 7c5842b06114

clarified abstract and concrete boolean algebras
7c5842b06114
Actions

Description

clarified abstract and concrete boolean algebras

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE7d3e818fe21f: antiquotation for bundles

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE7c5842b06114: clarified abstract and concrete boolean algebras.Aug 5 2021, 9:12 AM

Changes (11)

Path

Size

Analysis/

	Boolean_Algebras.thy
	Boolean_Algebra.thy

rISABELLE7c5842b06114

View Options

NEWS

View Options

src/HOL/Analysis/Path_Connected.thy

View Options

src/HOL/Bit_Operations.thy

View Options

src/HOL/Boolean_Algebra.thy

View Options

src/HOL/Boolean_Algebras.thy

View Options

src/HOL/Fun.thy

View Options

src/HOL/Hilbert_Choice.thy

View Options

src/HOL/Lattices.thy

View Options

clarified abstract and concrete boolean algebras7c5842b06114Actions

Description

Details

Event Timeline

Changes (11)

rISABELLE7c5842b06114

NEWS

src/HOL/Analysis/Path_Connected.thy

src/HOL/Bit_Operations.thy

src/HOL/Boolean_Algebra.thy

src/HOL/Boolean_Algebras.thy

src/HOL/Fun.thy

src/HOL/Hilbert_Choice.thy

src/HOL/Lattices.thy

src/HOL/Set.thy

clarified abstract and concrete boolean algebras
7c5842b06114
Actions