Diffusion Isabelle 5a616815cc44

clarified signature: theory imports could be from other sessions;
5a616815cc44
Actions

Tags

None

Subscribers

None

Description

clarified signature: theory imports could be from other sessions;

Details

Provenance

Authored on

Parents

rISABELLE3402df4486de: proper html_symbols (amending 429afd0d1a79);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5a616815cc44: clarified signature: theory imports could be from other sessions;.Nov 16 2020, 11:19 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE5a616815cc44

src/Pure/Thy/sessions.scala

Loading...