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

Версия от 13:04, 21 декабря 2009

Полная система переписывания термов - см. Система переписывания термов.

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