TY  - RPRT
TI  - Capturing Hiproofs in HOL Light
AU  - Steven Obua
AU  - Mark Adams
AU  - David Aspinall
PY  - 2013
UR  - https://arxiv.org/abs/1307.2713
ID  - 1307.2713
ER  -