2008年8月28日 (木) 22:28時点における版編集 202.174.192.209 (トーク) 編集の要約なし ← 古い編集		2008年8月30日 (土) 08:37時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし次の差分 →
4 行 :definition ::[[Mizar 定義式\|定義式]]; ::[[Mizar 定義終了\|終了]]; :end; :--------------------------------------

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