Diffusion Isabelle 05e2cab9af8b

tuned signature -- prefer Isabelle/ML structure Integer;
05e2cab9af8b
Actions

Tags

None

Subscribers

None

Description

tuned signature -- prefer Isabelle/ML structure Integer;

Details

Provenance

Authored on

Parents

rISABELLE662f286492b1: more lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE05e2cab9af8b: tuned signature -- prefer Isabelle/ML structure Integer;.Jan 1 2021, 5:08 PM

Changes (4)

Path

Size

src/

HOL/

Decision_Procs/

approximation.ML

Matrix_LP/

Tools/

Function/

Pure/

General/

rISABELLE05e2cab9af8b

src/HOL/Decision_Procs/approximation.ML

Loading...

src/HOL/Matrix_LP/float_arith.ML

Loading...

src/HOL/Tools/Function/scnp_solve.ML

Loading...

src/Pure/General/integer.ML

Loading...