2008年9月8日 (月) 07:20時点における版編集 Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし ← 古い編集		2008年9月8日 (月) 07:23時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし次の差分 →
11 行 :[[Mizar/本体部/証明したい式\|証明したい式]] ::[[Mizar/本体部/proof\|proof]] :::[[Mizar/本体部/定義式/変数定義\|変数定義]] :::[[Mizar/本体部/証明\|証明]] :::[[Mizar/本体部/結果\|結果]]

「Mizar/本体部」の版間の差分