taddeus/trs: Mathematical term rewriting system @ 371f7dcf22042e5b419c81f4c8924a1064f9be23

Tadde+�s Kroes 371f7dcf22 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 година