taddeus/trs: Mathematical term rewriting system @ 29b9d722cfb000b48dda6082e0c4a15487b48660

Taddeus Kroes 29b9d722cf Changed proposal document title.		14 лет назад
..
proposal.tex	29b9d722cf Changed proposal document title.	14 лет назад
rules.mk	e0adb07949 Almost finished project proposal and implemented build system.	14 лет назад