Sylvain Pion 79864c0c8e Remove Arity_tag.		2008-07-22 12:29:01 +00:00
..
Kernel_23	Remove Arity_tag.	2008-07-22 12:29:01 +00:00
Kernel_23_ref	Document the kernel typedefs specifying the return types of the predicates:	2008-07-16 13:59:26 +00:00