Diffusion Isabelle 552a9dd5b4a2

prefer isabelle bbbfont;
552a9dd5b4a2
Actions

Tags

None

Subscribers

None

Description

prefer isabelle bbbfont;

Details

Provenance

Authored on

Parents

rISABELLE8995cab6b7a6: enforce full build;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE552a9dd5b4a2: prefer isabelle bbbfont;.Mar 21 2021, 11:24 PM

Changes (3)

Path

Size

src/

HOL/

Matrix_LP/

document/

ZF/

document/

rISABELLE552a9dd5b4a2

src/HOL/Matrix_LP/Matrix.thy

Loading...

src/HOL/Matrix_LP/document/root.tex

Loading...

src/HOL/ZF/document/root.tex

Loading...