削除された内容 追加された内容
Ocyacya (トーク | 投稿記録)
Ocyacya (トーク | 投稿記録)
18 行
** [[/型|型]]
** [[記号|記号]]
** [[他言語との比較|他言語との比較]]
* 外部リンク
** [http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html Manual]