Diffusion Isabelle 7466b2a3905a

more latex macros;
7466b2a3905a
Actions

Tags

None

Subscribers

None

Description

more latex macros;

Details

Provenance

Authored on

Parents

rISABELLEde4b3abaf3ca: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7466b2a3905a: more latex macros;.Sep 13 2021, 1:30 PM

Changes (1)

Path

Size

lib/

texinputs/

isabellesym.sty

rISABELLE7466b2a3905a

lib/texinputs/isabellesym.sty

Loading...