Dries Van Daele 89964dd241 add tabling to yap		2013-10-05 20:59:34 +02:00
..
default.nix	add tabling to yap	2013-10-05 20:59:34 +02:00