Diffusion Isabelle 9612115e06d1

removed some vain declarations
9612115e06d1
Actions

Tags

None

Subscribers

None

Description

removed some vain declarations

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEda73ee760643: merged

Branches

Unknown

Tags

Unknown

Event Timeline

haftmann committed rISABELLE9612115e06d1: removed some vain declarations.Dec 5 2019, 1:09 PM

Changes (2)

Path

Size

src/

HOL/

Complete_Lattices.thy

Conditionally_Complete_Lattices.thy

rISABELLE9612115e06d1

src/HOL/Complete_Lattices.thy

Loading...

src/HOL/Conditionally_Complete_Lattices.thy

Loading...