isabelle-2017.gen 110 Bytes
Newer Older
Stefan Berghofer's avatar
Stefan Berghofer committed
1 2 3
theory number.Coprime
  syntax predicate coprime "<app><const name=\"GCD.gcd_class.coprime\"/>%1%2</app>"
end