2008年9月1日 (月) 13:15時点における版編集 Ocyacya (トーク \| 投稿記録) 357 回編集 M ページ Mizar 本体部を Mizar/本体部へ移動 ← 古い編集		2008年9月1日 (月) 13:43時点における版編集取り消し Ocyacya (トーク \| 投稿記録) 357 回編集編集の要約なし次の差分 →
1 行 begin :-------------------------------------- :[[Mizar /定義\|定義]]をする :definition ::[[Mizar /本体部/定義式\|定義式]]; ::[[Mizar /本体部/定義終了\|終了]]; :end; :-------------------------------------- 10 行 :theorm :-------------------------------------- :[[Mizar /本体部/証明したい式\|証明したい式]] ::[[Mizar /本体部/proof\|proof]] :::[[Mizar /変数定義\|変数定義]] :::[[Mizar /本体部/証明\|証明]] :::[[Mizar /本体部/結果\|結果]] ::end; ------------------------------------------

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