Diffusion Isabelle ee039c11fb6f

updated email address
ee039c11fb6f
Actions

Tags

None

Subscribers

None

Description

updated email address

Details

Provenance

Authored on

Parents

rISABELLEd592354c4a26: removed some 'private' modifiers from HOL-Computational_Algebra

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rISABELLEee039c11fb6f: updated email address.Oct 19 2021, 4:10 PM

Changes (5)

Path

Size

src/

HOL/

Analysis/

Simplex_Content.thy

Computational_Algebra/

Library/

Landau_Symbols.thy

Number_Theory/

Prime_Powers.thy

rISABELLEee039c11fb6f

src/HOL/Analysis/Simplex_Content.thy

Loading...

src/HOL/Computational_Algebra/Nth_Powers.thy

Loading...

src/HOL/Computational_Algebra/Squarefree.thy

Loading...

src/HOL/Library/Landau_Symbols.thy

Loading...

src/HOL/Number_Theory/Prime_Powers.thy

Loading...