TY  - RPRT
TI  - Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
AU  - Kazuhisa Nakasho
AU  - Yasunari Shidama
PY  - 2015
UR  - https://arxiv.org/abs/1505.01577
ID  - 1505.01577
ER  -