streamlined primitive definitions for integer division
48d032035744
Actions

Description

streamlined primitive definitions for integer division

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

HOL/

Library/

rISABELLE48d032035744

NEWS

src/HOL/Bit_Operations.thy

src/HOL/Divides.thy

src/HOL/Euclidean_Division.thy

src/HOL/Library/Signed_Division.thy

streamlined primitive definitions for integer division48d032035744Actions

Description

Details

Changes (6)

rISABELLE48d032035744

NEWS

src/HOL/Bit_Operations.thy

src/HOL/Divides.thy

src/HOL/Euclidean_Division.thy

src/HOL/Library/Signed_Division.thy

src/HOL/Rings.thy

streamlined primitive definitions for integer division
48d032035744
Actions