clarified signature, following Isabelle/Scala;
f0db1e4c89bc
Actions

Description

clarified signature, following Isabelle/Scala;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (8)

Path

Size

HOL/

Tools/

Nunchaku/

General/

rISABELLEf0db1e4c89bc

src/HOL/Tools/Nunchaku/nunchaku_tool.ML

src/Pure/General/exn.ML

src/Pure/ROOT.ML

src/Pure/System/isabelle_system.ML

src/Pure/System/process_result.ML

clarified signature, following Isabelle/Scala;f0db1e4c89bcActions

Description

Details

Changes (8)

rISABELLEf0db1e4c89bc

src/HOL/Tools/Nunchaku/nunchaku_tool.ML

src/Pure/General/exn.ML

src/Pure/ROOT.ML

src/Pure/System/isabelle_system.ML

src/Pure/System/process_result.ML

clarified signature, following Isabelle/Scala;
f0db1e4c89bc
Actions