Diffusion Isabelle e7e93c0f6d96

more operations (as in Isabelle/ML);
e7e93c0f6d96
Actions

Tags

None

Subscribers

None

Description

more operations (as in Isabelle/ML);

Details

Provenance

Authored on

Parents

rISABELLEab4a0b19648a: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe7e93c0f6d96: more operations (as in Isabelle/ML);.Nov 11 2020, 8:55 PM

Changes (2)

Path

Size

src/

Pure/

General/

rISABELLEe7e93c0f6d96

src/Pure/General/file.scala

Loading...

src/Pure/General/path.scala

Loading...