Diffusion Isabelle 297d24fb262c

discontinued somewhat pointless options;
297d24fb262c
Actions

Tags

None

Subscribers

None

Description

discontinued somewhat pointless options;

Details

Provenance

Authored on

Parents

rISABELLEbd93c71521a0: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

wenzelm committed rISABELLE297d24fb262c: discontinued somewhat pointless options;.Dec 6 2019, 4:13 PM

Changes (1)

Path

Size

src/

Pure/

Thy/

export_theory.scala

rISABELLE297d24fb262c

src/Pure/Thy/export_theory.scala

Loading...