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

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