Diffusion Isabelle 8a48e18f081e

reduce prominence of facts
8a48e18f081e
Actions

Tags

None

Subscribers

None

Description

reduce prominence of facts

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEfc19de122712: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE8a48e18f081e: reduce prominence of facts.Oct 1 2022, 9:56 AM

Changes (8)

Path

Size

src/

HOL/

Euclidean_Division.thy

Library/

Numeral_Type.thy

Omega_Words_Fun.thy

Number_Theory/

Pocklington.thy

UNITY/

Simple/

rISABELLE8a48e18f081e

src/HOL/Divides.thy

Loading...

src/HOL/Euclidean_Division.thy

Loading...

src/HOL/Library/Numeral_Type.thy

Loading...

src/HOL/Library/Omega_Words_Fun.thy

Loading...

src/HOL/Library/Word.thy

Loading...

src/HOL/Number_Theory/Cong.thy

Loading...

src/HOL/Number_Theory/Pocklington.thy

Loading...

src/HOL/UNITY/Simple/Token.thy

Loading...