[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] Typechecking confused by a LET expression?



Thank you Sam, now typechecking works fine.

-- 
Piotr Trojanek