Diffusion Isabelle 647879691c1c

streamlined theorems and sections
647879691c1c
Actions

Tags

None

Subscribers

None

Description

streamlined theorems and sections

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE48d032035744: streamlined primitive definitions for integer division

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE647879691c1c: streamlined theorems and sections.Aug 19 2022, 7:49 AM

Changes (4)

Path

Size

src/

HOL/

Bit_Operations.thy

Euclidean_Division.thy

Library/

Signed_Division.thy

rISABELLE647879691c1c

src/HOL/Bit_Operations.thy

Loading...

src/HOL/Divides.thy

Loading...

src/HOL/Euclidean_Division.thy

Loading...

src/HOL/Library/Signed_Division.thy

Loading...