Diffusion Isabelle da4e57d30579

tuned definition
da4e57d30579
Actions

Tags

None

Subscribers

None

Description

tuned definition

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEe19d4c1c48ce: spelling

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEda4e57d30579: tuned definition.Oct 4 2022, 11:12 AM

Changes (1)

Path

Size

src/

HOL/

Library/

Rounded_Division.thy

rISABELLEda4e57d30579

src/HOL/Library/Rounded_Division.thy

Loading...