Difference between revisions of "Talk:Agent problems"
(No difference)
|
Revision as of 00:26, 21 November 2006
Is CAT Call
First comment: I assume you are missing a 'l_f := f'.
Second comment: this is a well known CAT call, caused by the (unsound) inheritance relation 'X[A] is subtype of X[B]' if 'A is subtype of B'. --Schoelle 09:26, 21 November 2006 (CET)
