Diffusion Isabelle 7625b5d7cfe2

clarified name, syntax, messages;
7625b5d7cfe2
Actions

Tags

None

Subscribers

None

Description

clarified name, syntax, messages;

Details

Provenance

Authored on

Parents

rISABELLEf4613ca298e6: more antiquotations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7625b5d7cfe2: clarified name, syntax, messages;.Oct 24 2021, 8:25 PM

Changes (6)

Path

Size

etc/

lib/

texinputs/

isabellesym.sty

src/

HOL/

Decision_Procs/

Commutative_Ring.thy

Reflective_Field.thy

Pure/

ML/

ml_antiquotations.ML

rISABELLE7625b5d7cfe2

etc/symbols

Loading...

lib/texinputs/isabellesym.sty

Loading...

src/HOL/Decision_Procs/Commutative_Ring.thy

Loading...

src/HOL/Decision_Procs/Reflective_Field.thy

Loading...

src/HOL/Decision_Procs/langford.ML

Loading...

src/Pure/ML/ml_antiquotations.ML

Loading...