(* $Id: Expon.v,v 1.5 2004/04/23 10:00:54 lcf Exp $ *)
(*#* printing [^^] %\ensuremath{\hat{\ }}% #^# *)
(* $Id: Expon.v,v 1.5 2004/04/23 10:00:54 lcf Exp $ *)
(*#* printing [^^] %\ensuremath{\hat{\ }}% #^# *)
(*#*
It would be nicer to define [zexp] using [caseZdiff], but we already
have most properties now.
*)
(*#*
It would be nicer to define [zexp] using [caseZdiff], but we already
have most properties now.
*)