Diffusion Isabelle 460d743010bc

clarified signature: overloaded "+" for Path.append;
460d743010bc
Actions

Tags

None

Subscribers

None

Description

clarified signature: overloaded "+" for Path.append;

Details

Provenance

Authored on

Parents

rISABELLEa471730347e0: NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE460d743010bc: clarified signature: overloaded "+" for Path.append;.Oct 27 2020, 10:34 PM

Changes (21)

Path

Size

src/

HOL/

Library/

TPTP/

TPTP_Interpret_Test.thy

TPTP_Parser/

tptp_interpret.ML

Tools/

Quickcheck/

narrowing_generators.ML

SMT/

Sledgehammer/

sledgehammer_prover_atp.ML

Pure/

General/

PIDE/

System/

isabelle_system.ML

Thy/

Tools/

generated_files.ML

Tools/

Code/

rISABELLE460d743010bc

NEWS

Loading...

src/HOL/Library/code_test.ML

Loading...

src/HOL/TPTP/TPTP_Interpret_Test.thy

Loading...

src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML

Loading...

src/HOL/TPTP/TPTP_Test.thy

Loading...

src/HOL/Tools/Quickcheck/narrowing_generators.ML

Loading...

src/HOL/Tools/SMT/smt_config.ML

Loading...

src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML

Loading...

src/Pure/General/file.ML

Loading...

src/Pure/General/path.ML

Loading...

src/Pure/General/url.ML

Loading...

src/Pure/PIDE/resources.ML

Loading...

src/Pure/System/isabelle_system.ML

Loading...

src/Pure/Thy/export.ML

Loading...

src/Pure/Thy/present.ML

Loading...

src/Pure/Thy/thy_info.ML

Loading...

src/Pure/Tools/generated_files.ML

Loading...

src/Pure/Tools/ghc.ML

Loading...

src/Tools/Code/code_ml.ML

Loading...

src/Tools/Code/code_scala.ML

Loading...

src/Tools/Code/code_target.ML

Loading...