Diffusion Isabelle dfac078e5444

tuned signature (see 2d6a489adb01);
dfac078e5444
Actions

Tags

None

Subscribers

None

Description

tuned signature (see 2d6a489adb01);

Details

Provenance

Authored on

Parents

rISABELLEbc263f1f68cd: added support for TFX's and THF's $ite to Sledgehammer

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdfac078e5444: tuned signature (see 2d6a489adb01);.Jun 18 2021, 11:32 AM

Changes (3)

Path

Size

src/

Pure/

rISABELLEdfac078e5444

src/Pure/library.ML

Loading...

src/Pure/more_thm.ML

Loading...

src/Pure/thm.ML

Loading...