Diffusion Isabelle a7d9edd2e63b

proper File.eq, amending df49ca5da9d0;
a7d9edd2e63b
Actions

Tags

None

Subscribers

None

Description

proper File.eq, amending df49ca5da9d0;

Details

Provenance

Authored on

Parents

rISABELLEa45cb064709b: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa7d9edd2e63b: proper File.eq, amending df49ca5da9d0;.Feb 27 2021, 7:45 PM

Changes (1)

Path

Size

src/

Pure/

System/

isabelle_system.scala

rISABELLEa7d9edd2e63b

src/Pure/System/isabelle_system.scala

Loading...