Diffusion Isabelle 397533bf0c3f

clarified error;
397533bf0c3f
Actions

Tags

None

Subscribers

None

Description

clarified error;

Details

Provenance

Authored on

Parents

rISABELLEd86798eddc14: more accurate proof_boxes -- from actual proof body;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE397533bf0c3f: clarified error;.Nov 1 2019, 11:29 AM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_polyml.scala

rISABELLE397533bf0c3f

src/Pure/Admin/build_polyml.scala

Loading...