Diffusion Isabelle ffccc1f346ae

avoid vacuous session Pure -- dump does not read_pure_theory;
ffccc1f346ae
Actions

Tags

None

Subscribers

None

Description

avoid vacuous session Pure -- dump does not read_pure_theory;

Details

Provenance

Authored on

Parents

rISABELLE625df1eb7873: updated to polyml-5.8.1-20191113 test version (Poly/ML 055f20cdc326);

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLEffccc1f346ae: avoid vacuous session Pure -- dump does not read_pure_theory;.Nov 25 2019, 10:58 AM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLEffccc1f346ae

src/Pure/Tools/dump.scala

Loading...