Полная система переписывания термов: различия между версиями

Полная система переписывания термов (посмотреть исходный код)

4 байта добавлено , 21 декабря 2009

нет описания правки

4625

правок

Версия от 18:36, 17 декабря 2009 (просмотреть исходный код) Glk (обсуждение \| вклад) (Создана новая страница размером '''Полная система переписывания термов''' - см. ''Система переписывания термов...)		Версия от 13:04, 21 декабря 2009 (просмотреть исходный код) KEV (обсуждение \| вклад) Нет описания правки Следующая правка →
Строка 1:		Строка 1:
	'''Полная система переписывания термов''' - см. ''Система переписывания термов''.		'''Полная система переписывания термов''' - см. ''[[Система переписывания термов]]''.