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

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

76 байт убрано , 14 июня 2011

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

4624

правки

Версия от 13:04, 21 декабря 2009 (просмотреть исходный код) KEV (обсуждение \| вклад) Нет описания правки ← Предыдущая правка		Текущая версия от 13:45, 14 июня 2011 (просмотреть исходный код) KEV (обсуждение \| вклад) Нет описания правки
Строка 1:		Строка 1:
	~~'''Полная система переписывания термов''' - см~~. ''[[Система переписывания термов]]''.		См. ''[[Система переписывания термов]]''.