taddeus/trs: Mathematical term rewriting system @ 4a5f09d1b945b4c026afee644cc74d139affc89d

Tadde+�s Kroes 4a5f09d1b9 Added dummy file for name test.		14 年之前
..
DUMMY	4a5f09d1b9 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 年之前