Re: A datatype entailment - this should be a testcase?

At 08:12 04/11/2002 +0000, Jeremy Carroll wrote:

>It shows a non-trivial interaction between the definition of the datatype 
>and entailment. This is crucially different from other entailments that we 
>have approved for out test cases.

Crucially different is one thing.  Crucially necessary is another.  Why is 
this needed?

Brian

Received on Monday, 4 November 2002 12:16:43 UTC