taddeus/trs: Mathematical term rewriting system @ 371f7dcf22042e5b419c81f4c8924a1064f9be23

Tadde+�s Kroes 371f7dcf22 Removed dummy file for name test.		14 éve
..
proposal.tex	2ec10297e5 Wrote introduction of purpose.tex.	14 éve
rules.mk	e0adb07949 Almost finished project proposal and implemented build system.	14 éve