Diffusion Isabelle 8d0c2d74ad63

tuned proofs --- eliminated 'guess';
8d0c2d74ad63
Actions

Tags

None

Subscribers

None

Description

tuned proofs --- eliminated 'guess';

Details

Provenance

Authored on

Parents

rISABELLE308e74afab83: tuned proofs;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8d0c2d74ad63: tuned proofs --- eliminated 'guess';.Sep 20 2021, 1:52 PM

Changes (4)

Path

Size

src/

HOL/

Library/

Countable_Set.thy

Extended_Nonnegative_Real.thy

Extended_Real.thy

rISABELLE8d0c2d74ad63

src/HOL/Filter.thy

Loading...

src/HOL/Library/Countable_Set.thy

Loading...

src/HOL/Library/Extended_Nonnegative_Real.thy

Loading...

src/HOL/Library/Extended_Real.thy

Loading...