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? BrianReceived on Monday, 4 November 2002 12:16:43 EST
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:53:57 EDT