Diffusion Isabelle 1d063b7f7928

incorporate sessions with record_proofs;
1d063b7f7928
Actions

Tags

None

Subscribers

None

Description

incorporate sessions with record_proofs;

Details

Provenance

Authored on

Parents

rISABELLEbbb7d69f7a4d: clarified options;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE1d063b7f7928: incorporate sessions with record_proofs;.Oct 14 2019, 9:57 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

Tools/

rISABELLE1d063b7f7928

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/dump.scala

Loading...