HomeIsabelle/Phabricator
Diffusion afp-devel efef42e4851d

cited ITP paper
efef42e4851d
Actions

Description

cited ITP paper

Details

Provenance
Akihisa Yamada <akihisa.yamada@uibk.ac.at>Authored on
Parents
rAFP792d392d112d: Added revision meta-data for Optics.
Branches
Unknown
Tags
Unknown

Event Timeline

Akihisa Yamada <akihisa.yamada@uibk.ac.at> committed rAFPefef42e4851d: cited ITP paper.Mar 10 2020, 7:06 AM

Changes (2)

PathSize
thys/
Complete_Non_Orders/
document/

rAFPefef42e4851d

View Options

thys/Complete_Non_Orders/document/root.bib

Loading...
View Options

thys/Complete_Non_Orders/document/root.tex

Loading...