Diffusion Isabelle 23fbdac78310

clarified signature;
23fbdac78310
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLEabd4db50ff1e: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE23fbdac78310: clarified signature;.Jul 11 2022, 3:22 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE23fbdac78310

src/Pure/General/file.scala

Loading...