Diffusion Isabelle b6116a86d2ac

clarified signature;
b6116a86d2ac
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rISABELLE4e1dc465dfcc: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb6116a86d2ac: clarified signature;.Sat, Nov 11, 10:14 PM

Changes (2)

Path

Size

src/

Pure/

General/

ML/

rISABELLEb6116a86d2ac

src/Pure/General/bytes.scala

Loading...

src/Pure/ML/ml_heap.scala

Loading...