Diffusion Isabelle 41685289b8eb

tuned signature;
41685289b8eb
Actions

Tags

None

Subscribers

None

Description

tuned signature;

Details

Provenance

Authored on

Parents

rISABELLE7f1241a2bf30: merged

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE41685289b8eb: tuned signature;.Nov 2 2019, 11:13 PM

Changes (2)

Path

Size

src/

Pure/

global_theory.ML

rISABELLE41685289b8eb

src/Pure/global_theory.ML

Loading...

src/Pure/more_thm.ML

Loading...