Diffusion Isabelle 9d2716dc79a6

removed unused auxiliary lemmas
9d2716dc79a6
Actions

Tags

None

Subscribers

None

Description

removed unused auxiliary lemmas

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE2e46c0b4042d: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

haftmann committed rISABELLE9d2716dc79a6: removed unused auxiliary lemmas.Nov 22 2019, 10:24 AM

Changes (1)

Path

Size

src/

HOL/

rISABELLE9d2716dc79a6

src/HOL/Divides.thy

Loading...