2008年8月28日 (木) 05:08時点における版編集 Ocyacya (トーク \| 投稿記録) 357 回編集 →‎目次 ← 古い編集		2008年8月28日 (木) 05:09時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集 →‎目次次の差分 →
14 行 [[Mizar 具体的な使い方#ソフトの使い方\|ソフトの使い方]] [[Mizar 具体的な使い方#初等的な数学に対する使用例\|初等的な数学に対する使用例]] * [[Mizar 構文\| 構文]] 文法・記号 [[/型\|型]]

「Mizar」の版間の差分