Mercurial > hg > Papers > 2017 > ryokka-midterm

view pic/emblem-bitmap.xbb @ 7:c0a6124f436b default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
delete natural deduction. add CbC,Agda more description
author ryokka
date Fri, 27 Oct 2017 17:06:15 +0900
parents 0a6686180a13
children
line wrap: on
line source

%%Title: emblem-bitmap.pdf
%%Creator: extractbb 20160307
%%BoundingBox: 0 0 451 246
%%HiResBoundingBox: 0.000000 0.000000 451.000000 246.000000
%%PDFVersion: 1.3
%%Pages: 1
%%CreationDate: Thu Oct 26 13:59:32 2017