Diffusion Isabelle 7900336c82b6

tuned;
7900336c82b6
Actions

Tags

None

Subscribers

None

Description

tuned;

Details

Provenance

Authored on

Parents

rISABELLEbe0865060346: sketch for word-specific lsb and msb

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7900336c82b6: tuned;.Jul 7 2022, 4:37 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

scala_project.scala

rISABELLE7900336c82b6

src/Pure/Tools/scala_project.scala

Loading...