Diffusion Isabelle e278bf6430cf

More on division concerning gauss numbers.
e278bf6430cf
Actions

Tags

None

Subscribers

None

Description

More on division concerning gauss numbers.

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEe8d4013c49d1: more robust adhoc shell script: work with Isabelle_System.

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEe278bf6430cf: More on division concerning gauss numbers..Sep 14 2022, 11:15 AM

Changes (6)

Path

Size

Examples/

Gauss_Numbers.thy

Rounded_Division.thy

rISABELLEe278bf6430cf

src/HOL/Examples/Gauss_Numbers.thy

Loading...

src/HOL/Library/Library.thy

Loading...

src/HOL/Library/Rounded_Division.thy

Loading...