2008年8月28日 (木) 05:03時点における版編集 Ocyacya (トーク \| 投稿記録) 357 回編集 →‎はじめに ← 古い編集		2008年8月28日 (木) 05:08時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集 →‎目次次の差分 →
17 行 ** [[/型\|型]] * 外部リンク ** [http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html~~\|Mizar~~ Manual] * 索引

「Mizar」の版間の差分