Diffusion Isabelle 38bed2483e6a

proper message (amending 94442fce40a5);
38bed2483e6a
Actions

Authored by makarius.

Tags

None

Subscribers

None

Description

proper message (amending 94442fce40a5);

Details

Committed

Nov 4 2019, 8:24 PM

Parents

rISABELLE35a8e15b7e03: more robust Thm.expose_theory -- ensure that PIDE export happens in the proper…

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE38bed2483e6a: proper message (amending 94442fce40a5);.Nov 4 2019, 8:24 PM

Changes (1)

Path

Size

src/

Pure/

PIDE/

rISABELLE38bed2483e6a

src/Pure/PIDE/protocol.ML

Loading...