taddeus/trs: Mathematical term rewriting system @ 0609028e320a282b6b2b11b6892892b48938c3bf

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 лет назад