Diffusion Isabelle f327ae3cab2a

more complete Bibtex database;
f327ae3cab2a
Actions

Tags

None

Subscribers

None

Description

more complete Bibtex database;

Details

Provenance

Authored on

Parents

rISABELLE7f7d5c93e36b: proper theory context for formal citations;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf327ae3cab2a: more complete Bibtex database;.Jan 15 2023, 8:00 PM

Changes (1)

Path

Size

src/

HOL/

Library/

document/

rISABELLEf327ae3cab2a

src/HOL/Library/document/root.bib

Loading...