Diffusion Isabelle 6b96464066a0

tuned signature --- more operations;
6b96464066a0
Actions

Tags

None

Subscribers

None

Description

tuned signature --- more operations;

Details

Provenance

Authored on

Parents

rISABELLEa597300290de: clarified File_Format.detect: needs to operate on full node name;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6b96464066a0: tuned signature --- more operations;.Dec 7 2020, 3:54 PM

Changes (2)

Path

Size

src/

Pure/

General/

Isar/

rISABELLE6b96464066a0

src/Pure/General/input.ML

Loading...

src/Pure/Isar/parse.ML

Loading...