more thorough split rules for div and mod on numerals, tuned split rules setup
714fad33252e
Actions

Description

more thorough split rules for div and mod on numerals, tuned split rules setup

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

HOL/

rISABELLE714fad33252e

src/HOL/Divides.thy

src/HOL/Euclidean_Division.thy

src/HOL/Fields.thy

src/HOL/Int.thy

src/HOL/Numeral_Simprocs.thy

more thorough split rules for div and mod on numerals, tuned split rules setup714fad33252eActions

Description

Details

Changes (6)

rISABELLE714fad33252e

src/HOL/Divides.thy

src/HOL/Euclidean_Division.thy

src/HOL/Fields.thy

src/HOL/Int.thy

src/HOL/Numeral_Simprocs.thy

src/HOL/Rings.thy

more thorough split rules for div and mod on numerals, tuned split rules setup
714fad33252e
Actions