add xref
authorcm <cm@coretec.at>
Tue, 24 Dec 2013 15:15:15 +0000 (16:15 +0100)
committercm <cm@coretec.at>
Tue, 24 Dec 2013 15:15:15 +0000 (16:15 +0100)
commitbb266e89409717f8daec099986fc08bc2ae4cf4d
treed3247e1f29c2f33a8f54f8a25a51267dda911e00
parent8e80c1ab844042d4d9fe583a4b194ac1ad026866
add xref
src/theory/PKIs.tex