2008年8月28日 (木) 18:18時点における版編集 Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし ← 古い編集		2008年8月28日 (木) 22:26時点における版編集取り消し 202.174.192.209 (トーク) 編集の要約なし次の差分 →
3 行 :定義をする :definition ::[[Mizar 変数定義\|変数定義]] ::定義式; :end;

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