Diffusion Isabelle ee9785abbcd6

provide ML antiquotation "if_none": non-strict version of "the_default";
ee9785abbcd6
Actions

Tags

None

Subscribers

None

Description

provide ML antiquotation "if_none": non-strict version of "the_default";

Details

Provenance

Authored on

Parents

rISABELLE9c5e8460df05: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEee9785abbcd6: provide ML antiquotation "if_none": non-strict version of "the_default";.Apr 22 2023, 8:55 PM

Changes (5)

Path

Size

etc/

lib/

texinputs/

isabellesym.sty

src/

Doc/

Implementation/

Pure/

ML/

ml_antiquotations.ML

rISABELLEee9785abbcd6

NEWS

Loading...

etc/symbols

Loading...

lib/texinputs/isabellesym.sty

Loading...

src/Doc/Implementation/ML.thy

Loading...

src/Pure/ML/ml_antiquotations.ML

Loading...