2008年10月1日 (水) 00:49時点における版編集 202.247.193.181 (トーク) 編集の要約なし ← 古い編集		2009年3月10日 (火) 04:45時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし次の差分 →
1 行 begin :-------------------------------------- :共通変数定義 :reserve X, Y, Z, x, y, z for set; :-------------------------------------- :[[Mizar/定義\|定義]]をする

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