Diffusion Isabelle 9576d0faf8f9

proper theory name;
9576d0faf8f9
Actions

Tags

None

Subscribers

None

Description

proper theory name;

Details

Provenance

Authored on

Parents

rISABELLEb040c9e67285: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9576d0faf8f9: proper theory name;.Nov 14 2020, 4:49 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

rISABELLE9576d0faf8f9

src/Pure/Thy/sessions.scala

Loading...