2008年8月28日 (木)
- 22:502008年8月28日 (木) 22:50 差分 履歴 +321 N Mizar/定義式 新しいページ: '変数定義 属性attribute attr synonym(型); antonym(型); あるmodeと別の属性(attribute)をもつmodeを組...'
- 22:282008年8月28日 (木) 22:28 差分 履歴 −6 Mizar/本体部 編集の要約なし
- 22:262008年8月28日 (木) 22:26 差分 履歴 −12 Mizar/本体部 編集の要約なし
- 22:142008年8月28日 (木) 22:14 差分 履歴 +76 Mizar/本体部/証明 編集の要約なし
- 22:132008年8月28日 (木) 22:13 差分 履歴 0 Mizar/本体部/証明 編集の要約なし
- 22:122008年8月28日 (木) 22:12 差分 履歴 +4 Mizar/本体部/証明 編集の要約なし