clarified terminology
0e054e6e7f5e
Actions

Description

clarified terminology

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (8)

Path

Size

Examples/

ex/

rISABELLE0e054e6e7f5e

src/HOL/Examples/Gauss_Numbers.thy

src/HOL/Library/Centered_Division.thy

src/HOL/Library/Library.thy

src/HOL/Library/Rounded_Division.thy

src/HOL/ex/Note_on_signed_division_on_words.thy

clarified terminology0e054e6e7f5eActions

Description

Details

Changes (8)

rISABELLE0e054e6e7f5e

src/HOL/Examples/Gauss_Numbers.thy

src/HOL/Library/Centered_Division.thy

src/HOL/Library/Library.thy

src/HOL/Library/Rounded_Division.thy

src/HOL/ex/Note_on_signed_division_on_words.thy

clarified terminology
0e054e6e7f5e
Actions