taddeus/trs: Mathematical term rewriting system @ 6d3b08d00f34f2b1198ac9736752f8debe9a9847

Tadde�s Kroes 6d3b08d00f Removed dummy file.		14 年之前
..
proposal.tex	2ec10297e5 Wrote introduction of purpose.tex.	14 年之前
rules.mk	e0adb07949 Almost finished project proposal and implemented build system.	14 年之前