Diffusion Isabelle ae9e6218443d

proper section headings
ae9e6218443d
Actions

Tags

None

Subscribers

None

Description

proper section headings

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE1a9decb8bfbc: more NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEae9e6218443d: proper section headings.Apr 11 2023, 1:59 PM

Changes (9)

Path

Size

src/

HOL/

Library/

Cancellation.thy

Case_Converter.thy

Code_Cardinality.thy

Extended_Nonnegative_Real.thy

Finite_Lattice.thy

Lattice_Constructions.thy

Rounded_Division.thy

Signed_Division.thy

rISABELLEae9e6218443d

src/HOL/Library/Cancellation.thy

Loading...

src/HOL/Library/Case_Converter.thy

Loading...

src/HOL/Library/Code_Cardinality.thy

Loading...

src/HOL/Library/Code_Test.thy

Loading...

src/HOL/Library/Extended_Nonnegative_Real.thy

Loading...

src/HOL/Library/Finite_Lattice.thy

Loading...

src/HOL/Library/Lattice_Constructions.thy

Loading...

src/HOL/Library/Rounded_Division.thy

Loading...

src/HOL/Library/Signed_Division.thy

Loading...