taddeus/trs: Mathematical term rewriting system @ f8bfc9e46b13c31ebe439a768560824d6331b332

Tadde�s Kroes f8bfc9e46b Added dummy file for name test.		14 年之前
..
DUMMY	f8bfc9e46b Added dummy file for name test.	14 年之前
proposal.tex	2ec10297e5 Wrote introduction of purpose.tex.	14 年之前
rules.mk	e0adb07949 Almost finished project proposal and implemented build system.	14 年之前