От Игорь С. Ответить на сообщение
К Alexandre Putt Ответить по почте
Дата 14.05.2006 08:27:22 Найти в дереве
Рубрики Общинность; Теоремы, доктрины; Тексты; Версия для печати

Странное желание для препроцессора

>- это одно. Доказательство теоремы - это другое. Я хочу посмотреть на доказательство, а не на утверждение, что что-то было доказано. Так яснее?

Да, яснее. Но это не имеет отношение к Monco.
Хотите посмотреть - идите и смотрите. Не нравится - опровергайте. Никто не обязан выдавать доказательства (которые могут занимать сотни и тысячи страниц) по первому требованию каждого препроцессора.