Diffusion Isabelle 00b77365552e

clarified signature: refer to file name instead of file content;
00b77365552e
Actions

Tags

None

Subscribers

None

Description

clarified signature: refer to file name instead of file content;

Details

Provenance

Authored on

Parents

rISABELLEdbc32e3c47e3: compile;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE00b77365552e: clarified signature: refer to file name instead of file content;.Mar 14 2021, 6:32 PM

Changes (3)

Path

Size

src/

HOL/

Tools/

ATP/

system_on_tptp.ML

system_on_tptp.scala

Pure/

System/

isabelle_system.ML

rISABELLE00b77365552e

src/HOL/Tools/ATP/system_on_tptp.ML

Loading...

src/HOL/Tools/ATP/system_on_tptp.scala

Loading...

src/Pure/System/isabelle_system.ML

Loading...