Diffusion Isabelle 7b5b1789a34c

proper signature;
7b5b1789a34c
Actions

Tags

None

Subscribers

None

Description

proper signature;

Details

Provenance

Authored on

Parents

rISABELLE164a21e5d568: support specific connection types, for additional operations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7b5b1789a34c: proper signature;.Sun, Jan 22, 9:07 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE7b5b1789a34c

src/Pure/Thy/sessions.scala

Loading...