Diffusion Isabelle e4a317d00489

output via file instead of stdout;
e4a317d00489
Actions

Tags

None

Subscribers

None

Description

output via file instead of stdout;

Details

Provenance

Authored on

Parents

rISABELLE989bd067ae30: proper context;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe4a317d00489: output via file instead of stdout;.Sep 24 2020, 4:43 PM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLEe4a317d00489

src/HOL/Library/code_test.ML

Loading...