Diffusion Isabelle 4e1dc465dfcc

clarified modules;
4e1dc465dfcc
Actions

Tags

None

Subscribers

None

Description

clarified modules;

Details

Provenance

Authored on

Parents

rISABELLEc8c40e11c907: clarified signature: more operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4e1dc465dfcc: clarified modules;.Sat, Nov 11, 10:05 PM

Changes (2)

Path

Size

src/

Pure/

General/

rISABELLE4e1dc465dfcc

src/Pure/General/file.scala

Loading...

src/Pure/General/path.scala

Loading...