Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

(AIntEdSAME_AS (BIntEdand (BIntEdMOVED_TO (CNRCimplies (AIntEdMOVED_TO (CNRC)1

(A) SAME_AS (B) and (C) MOVED_FROM (B) implies (C) MOVED_FROM (A) - work in progress(A) SAME_AS (B) and (B) POSSIBLY_EQUIVALENT_TO (C OR D) implies (A) POSSIBLY_EQUIVALENT_TO (C OR D)

...