Re: Non-deterministic operation

From: Sergio Antoy <antoy_at_cs.pdx.edu>
Date: Mon, 7 Jun 2004 08:55:30 -0700

This is a good idea long overdue. This operation, with name "!",
is alread defined in the Combinatorial library distributed with
pakcs. The library should be updated too.

Sergio
Received on Tue Jun 08 2004 - 08:55:01 CEST

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:05 CEST