Diffusion Isabelle 282f5e980a67

discontinue fragile operations;
282f5e980a67
Actions

Tags

None

Subscribers

None

Description

discontinue fragile operations;

Details

Provenance

Authored on

Parents

rISABELLE922e3f9251ac: proper context option: change of underlying Options.default will not survive…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE282f5e980a67: discontinue fragile operations;.Sep 8 2022, 10:19 PM

Changes (2)

Path

Size

src/

HOL/

TPTP/

Pure/

System/

rISABELLE282f5e980a67

src/HOL/TPTP/mash_export.ML

Loading...

src/Pure/System/options.ML

Loading...