taddeus/trs: Mathematical term rewriting system @ 63ad66df962bb4f37418b40c8fc48fb9847e2af2

Tadde�s Kroes 63ad66df96 Removed 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 年之前