2008年8月28日 (木) 09:03時点における版編集 Ocyacya (トーク \| 投稿記録) 357 回編集 →‎目次 ← 古い編集		2008年8月28日 (木) 12:45時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集 →‎目次次の差分 →
22 行 [[Mizar 文法\|文法]] [[Mizar 記号\|記号]] ** [[Mizar 他言語との比較\|他言語との比較]] * 外部リンク ** [http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html Manual]

「Mizar」の版間の差分