change syntax for LAM to use expressions as patterns; define LAM pattern syntax for cpair, spair, sinl, sinr, up
(* Title: ComplexBin.thy
Author: Jacques D. Fleuriot
Copyright: 2001 University of Edinburgh
Descrition: Binary arithmetic for the complex numbers
This case is reduced to that for the reals.
*)
theory ComplexBin
imports Complex
begin
end