Diffusion Isabelle df893af36eb4

converting arg to Arg
df893af36eb4
Actions

Tags

None

Subscribers

None

Description

converting arg to Arg

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEe6e34e64163e: just a bit of tidying up

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEdf893af36eb4: converting arg to Arg.Jul 2 2021, 4:54 PM

Changes (3)

Path

Size

src/

HOL/

Analysis/

Complex_Transcendental.thy

Complex_Analysis/

Complex_Residues.thy

rISABELLEdf893af36eb4

src/HOL/Analysis/Complex_Transcendental.thy

Loading...

src/HOL/Complex.thy

Loading...

src/HOL/Complex_Analysis/Complex_Residues.thy

Loading...