Diffusion Isabelle aece5cc9efb7

simplified typesetting of \<guillemotleft>...\<guillemotright>;
aece5cc9efb7
Actions

Tags

None

Subscribers

None

Description

simplified typesetting of \<guillemotleft>...\<guillemotright>;

Details

Provenance

Authored on

Parents

rISABELLEe60333aa18ca: proper use of antiquotations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEaece5cc9efb7: simplified typesetting of \<guillemotleft>...\<guillemotright>;.Apr 22 2021, 10:11 AM

Changes (14)

Path

Size

lib/

texinputs/

isabellesym.sty

src/

Doc/

Nitpick/

document/

Sledgehammer/

document/

Tutorial/

document/

HOL/

Bali/

document/

Hoare/

document/

Hoare_Parallel/

document/

Imperative_HOL/

document/

Library/

document/

Probability/

document/

Proofs/

Lambda/

document/

document/

ZF/

document/

rISABELLEaece5cc9efb7

NEWS

Loading...

lib/texinputs/isabellesym.sty

Loading...

src/Doc/Nitpick/document/root.tex

Loading...

src/Doc/Sledgehammer/document/root.tex

Loading...

src/Doc/Tutorial/document/root.tex

Loading...

src/HOL/Bali/document/root.tex

Loading...

src/HOL/Hoare/document/root.tex

Loading...

src/HOL/Hoare_Parallel/document/root.tex

Loading...

src/HOL/Imperative_HOL/document/root.tex

Loading...

src/HOL/Library/document/root.tex

Loading...

src/HOL/Probability/document/root.tex

Loading...

src/HOL/Proofs/Lambda/document/root.tex

Loading...

src/HOL/document/root.tex

Loading...

src/ZF/document/root.tex

Loading...