taddeus/trs: Mathematical term rewriting system @ adcd14135809be8d4a315dc07ef5a240e0ccd6a5

Sander Mathijs van Veen 0609028e32 Added 'core' to git ignore list.		пре 14 година
..
pybison @ f9a34e5ef4	0609028e32 Added 'core' to git ignore list.	пре 14 година
rules.mk	314ca19b2d Added debug information to bison generated parser.	пре 14 година