Diffusion Isabelle aeb412065742

prefer antiquotations;
aeb412065742
Actions

Tags

None

Subscribers

None

Description

prefer antiquotations;

Details

Provenance

Authored on

Parents

rISABELLE44815dc2b8f9: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEaeb412065742: prefer antiquotations;.Jun 25 2022, 4:51 PM

Changes (3)

Path

Size

src/

Pure/

General/

rISABELLEaeb412065742

src/Pure/General/base64.ML

Loading...

src/Pure/General/xz.ML

Loading...

src/Pure/ROOT.ML

Loading...