2009年3月11日 (水) 04:26時点における版編集 Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし ← 古い編集		2009年6月16日 (火) 01:16時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし次の差分 →
8 行 * [[Mizar/はじめに\|はじめに]] ** [[Mizar/はじめに#Mizarとは\|Mizarとは]] * [[証明法]] ** [[Mizar/証明思考法\|証明思考法]] * [[Mizar/構文\| 構文]] ** [[Mizar/article\|article]]

「Mizar」の版間の差分