Diffusion Isabelle 24bbc4e30e5b

clarified signature: Path.T as in Generated_Files;
24bbc4e30e5b
Actions

Tags

None

Subscribers

None

Description

clarified signature: Path.T as in Generated_Files;

Details

Provenance

Authored on

Parents

rISABELLEdde776d1defa: back to polyml-test-1b2dcf8f5202 -- more stable;

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (7)

Path

Size

src/

HOL/

SPARK/

Tools/

Pure/

General/

Thy/

export_theory.ML

Tools/

generated_files.ML

Tools/

Code/

rISABELLE24bbc4e30e5b

src/HOL/SPARK/Tools/spark_vcs.ML

Loading...

src/Pure/General/path.ML

Loading...

src/Pure/Thy/export.ML

Loading...

src/Pure/Thy/export_theory.ML

Loading...

src/Pure/Thy/thy_info.ML

Loading...

src/Pure/Tools/generated_files.ML

Loading...

src/Tools/Code/code_target.ML

Loading...