Diffusion Isabelle 5749ee7c45a0

clarified signature: proper abstract type;
5749ee7c45a0
Actions

Tags

None

Subscribers

None

Description

clarified signature: proper abstract type;

Details

Provenance

Authored on

Parents

rISABELLE4ad322ee6025: clarified signature: support all arguments of Sessions.store();

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5749ee7c45a0: clarified signature: proper abstract type;.Mar 7 2023, 12:40 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE5749ee7c45a0

src/Pure/Thy/sessions.scala

Loading...