2009年3月10日 (火) 05:01時点における版編集 Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし ← 古い編集		2009年3月10日 (火) 08:16時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし次の差分 →
7 行 :definition ::[[Mizar/定義式\|定義式]]; ::existence 証明式 proof ～ end; ::uniqueness 証明式 proof ～ end; :end; :--------------------------------------

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