2008年8月28日 (木) 18:25時点における版編集 Ocyacya (トーク \| 投稿記録) 357 回編集 →‎目次 ← 古い編集		2008年9月1日 (月) 14:13時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし次の差分 →
6 行 \|} <noinclude> * [[Mizar /はじめに\|はじめに]] ** [[Mizar /はじめに#Mizarとは\|Mizarとは]] * [[Mizar /構文\| 構文]] [[Mizar /article\|article]] * [[Mizar /環境部\|環境部]] * [[Mizar /本体部\|本体部]] [[Mizar /型\|型]] [[Mizar /記号\|記号]] [[Mizar /他言語との比較\|他言語との比較]] * 外部リンク ** [http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html Manual]

「Mizar」の版間の差分