EXPORT      GCD.

IMPORT      Integers.

PREDICATE   Gcd  : Integer * Integer * Integer.

PREDICATE    CommonDivisor : Integer * Integer * Integer.