Diffusion Isabelle d0151eb9ecb0

more correct and complete bibliography;
d0151eb9ecb0
Actions

Tags

None

Subscribers

None

Description

more correct and complete bibliography;

Details

Provenance

Authored on

Parents

rISABELLE28ac56e59d23: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd0151eb9ecb0: more correct and complete bibliography;.Jan 20 2023, 10:47 PM

Changes (9)

Path

Size

Induct/

document/

Library/

document/

rISABELLEd0151eb9ecb0

src/HOL/Induct/document/root.tex

Loading...

src/HOL/Library/document/root.bib

Loading...

src/HOL/ROOT

Loading...

src/HOL/ex/CTL.thy

Loading...

src/HOL/ex/document/root.bib

Loading...