Diffusion Isabelle 3696bb4085ed

tuned signature (again);
3696bb4085ed
Actions

Tags

None

Subscribers

None

Description

tuned signature (again);

Details

Provenance

Authored on

Parents

rISABELLEcb127ce2c092: tuned --- following hints by IntelliJ;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE3696bb4085ed: tuned signature (again);.Mar 15 2021, 11:43 AM

Changes (2)

Path

Size

src/

HOL/

Tools/

ATP/

system_on_tptp.scala

Pure/

General/

rISABELLE3696bb4085ed

src/HOL/Tools/ATP/system_on_tptp.scala

Loading...

src/Pure/General/http.scala

Loading...