Diffusion Isabelle 2cdbb6a2f2a7

updated to latest latex due to new mechanism for dealing with bold ccfonts
2cdbb6a2f2a7
Actions

Tags

None

Subscribers

Description

updated to latest latex due to new mechanism for dealing with bold ccfonts

Details

Provenance

Authored on

Parents

rISABELLEc526eb2c7ca0: removal of needless hypothesis in hd_rev and last_rev

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE2cdbb6a2f2a7: updated to latest latex due to new mechanism for dealing with bold ccfonts.Mar 30 2021, 9:42 AM

See also https://www.texfaq.org/FAQ-concrete

Changes (4)

Path

Size

src/

Doc/

Prog_Prove/

Bool_nat_list.thy

document/

rISABELLE2cdbb6a2f2a7

src/Doc/Prog_Prove/Basics.thy

Loading...

src/Doc/Prog_Prove/Bool_nat_list.thy

Loading...

src/Doc/Prog_Prove/Isar.thy

Loading...

src/Doc/Prog_Prove/document/prelude.tex

Loading...