some remarks on division
fb3d81bd9803
Actions

Description

some remarks on division

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

HOL/

Library/

document/

document/

rISABELLEfb3d81bd9803

src/HOL/Euclidean_Rings.thy

src/HOL/Library/Rounded_Division.thy

src/HOL/Library/Signed_Division.thy

src/HOL/Library/Word.thy

src/HOL/Library/document/root.bib

some remarks on divisionfb3d81bd9803Actions

Description

Details

Changes (6)

rISABELLEfb3d81bd9803

src/HOL/Euclidean_Rings.thy

src/HOL/Library/Rounded_Division.thy

src/HOL/Library/Signed_Division.thy

src/HOL/Library/Word.thy

src/HOL/Library/document/root.bib

src/HOL/document/root.bib

some remarks on division
fb3d81bd9803
Actions