Diffusion Isabelle bd5ee3148132

more antiquotations (reverting 4df341249348);
bd5ee3148132
Actions

Tags

None

Subscribers

None

Description

more antiquotations (reverting 4df341249348);

Details

Provenance

Authored on

Parents

rISABELLE9d0951e24e61: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbd5ee3148132: more antiquotations (reverting 4df341249348);.Nov 28 2020, 4:25 PM

Changes (2)

Path

Size

src/

Doc/

System/

Pure/

System/

rISABELLEbd5ee3148132

src/Doc/System/Scala.thy

Loading...

src/Pure/System/scala.ML

Loading...