Hi, I have an inequality proof:
``(p:bool[32]) + 0x4w <> p + 0x8w`` How should I proceed to prove it? Lu ------------------------------------------------------------------------------ Return on Information: Google Enterprise Search pays you back Get the facts. http://p.sf.net/sfu/google-dev2dev _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
