Diffusion Isabelle fcd118d9242f

consolidated attribute name
fcd118d9242f
Actions

Tags

None

Subscribers

None

Description

consolidated attribute name

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEdc758531077b: streamlined theorems

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEfcd118d9242f: consolidated attribute name.Aug 19 2022, 7:49 AM

Changes (9)

Path

Size

src/

Doc/

Isar_Ref/

HOL_Specific.thy

HOL/

Archimedean_Field.thy

Numeral_Simprocs.thy

Tools/

ex/

Arith_Examples.thy

rISABELLEfcd118d9242f

NEWS

Loading...

src/Doc/Isar_Ref/HOL_Specific.thy

Loading...

src/HOL/Archimedean_Field.thy

Loading...

src/HOL/Divides.thy

Loading...

src/HOL/Fields.thy

Loading...

src/HOL/Int.thy

Loading...

src/HOL/Numeral_Simprocs.thy

Loading...

src/HOL/Tools/lin_arith.ML

Loading...

src/HOL/ex/Arith_Examples.thy

Loading...