[Cs5500] Template / urgent

[Karl Lieberherr]

Hi Srinivas:

let's only give them the baby avatar and not your template. There is too
much overlap and the template is wrong.

Your template talks about ForAllExists and ExistsForAll protocols
while we only have ForallExistsMin.

The students were confused about why we have suddenly two kinds of claims.

-- Karl

On Wed, Nov 2, 2011 at 2:32 PM, Srinivas N Jay <srinivasnjay at gmail.com>wrote:

> Hi Professor,
>
> Changed the file name. This one in the latest.
>
> Thanks,
> Srinivas
>
>
> On Wed, Nov 2, 2011 at 1:49 PM, Karl Lieberherr <lieber at ccs.neu.edu>wrote:
>
>> Hi Srinivas:
>>
>> I need your HSR template urgently to present to the undergraduate class
>> at 2.50 pm.
>>
>> Please can you send it as a separate file.
>>
>> -- Karl
>>
>
>
>
> --
> ***Race A Race Where You Are The Goal For Every Opponent! - *N Jay****
>
> Srinivas *N Jay*
> srinivasnjay at gmail.com
> +1(617)-817-0913
>
-------------- next part --------------
HTML attachment scrubbed and removed