HomeIsabelle/Phabricator
Diffusion afp-devel f9d3e8ed8c17

minor updates to bibliography
f9d3e8ed8c17
Actions

Description

minor updates to bibliography

Details

Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz>Authored on
Parents
rAFPc3e0fa187981: clarified signature;
Branches
Unknown
Tags
Unknown

Event Timeline

Walter Guttmann <walter.guttmann@canterbury.ac.nz> committed rAFPf9d3e8ed8c17: minor updates to bibliography.Aug 10 2021, 3:46 AM

Changes (2)

PathSize
thys/
Relational_Paths/
document/
Subset_Boolean_Algebras/
document/

rAFPf9d3e8ed8c17

View Options

thys/Relational_Paths/document/root.bib

Loading...
View Options

thys/Subset_Boolean_Algebras/document/root.bib

Loading...