3 Коммитов

Автор	SHA1	Сообщение	Дата
Theo	1f0f9968df	Adding rational term support for tabling tries	2013-12-19 10:56:52 +00:00
Theofrastos Mantadelis	5a8017156a	undid the last changes...	2013-12-17 18:03:46 +00:00
Theofrastos Mantadelis	35a332f23a	rational tries support for yap tabling	2013-12-17 16:55:39 +00:00