「Mizar/本体部/proof」の変更履歴

2009年7月1日 (水)

• 最新前 02:112009年7月1日 (水) 02:11‎ Ocyacya トーク 投稿記録‎ 1,424 バイト +34‎ 編集の要約なし 取り消し
• 最新前 02:022009年7月1日 (水) 02:02‎ Ocyacya トーク 投稿記録‎ 1,390 バイト −11‎ 編集の要約なし 取り消し
• 最新前 01:522009年7月1日 (水) 01:52‎ Ocyacya トーク 投稿記録‎ 1,401 バイト +710‎ 編集の要約なし 取り消し

2009年2月22日 (日)

• 最新前 17:222009年2月22日 (日) 17:22‎ Ocyacya トーク 投稿記録‎ 691 バイト 0‎ 編集の要約なし 取り消し
• 最新前 16:412009年2月22日 (日) 16:41‎ Ocyacya トーク 投稿記録‎ 691 バイト +190‎ 編集の要約なし 取り消し

2008年9月4日 (木)

• 最新前 18:412008年9月4日 (木) 18:41‎ Kanjy トーク 投稿記録‎ M 501 バイト +17‎ category 取り消し

2008年9月1日 (月)

• 最新前 13:232008年9月1日 (月) 13:23‎ Ocyacya トーク 投稿記録‎ M 484 バイト 0‎ ページ Mizar proof を Mizar/本体部/proof へ移動 取り消し

2008年8月28日 (木)

• 最新前 18:192008年8月28日 (木) 18:19‎ Ocyacya トーク 投稿記録‎ 484 バイト +69‎ 編集の要約なし 取り消し
• 最新前 15:142008年8月28日 (木) 15:14‎ Ocyacya トーク 投稿記録‎ 415 バイト +1‎ 編集の要約なし 取り消し
• 最新前 15:132008年8月28日 (木) 15:13‎ Ocyacya トーク 投稿記録‎ 414 バイト +328‎ 編集の要約なし 取り消し
• 最新前 14:272008年8月28日 (木) 14:27‎ Ocyacya トーク 投稿記録‎ 86 バイト +86‎ 新しいページ: 'proof ... end; ---------------------------------------------------------- now ... end;'