(* all outcommented for demonstrating authoring:

    WN071203

 *)

 LogExp = Real +

 (*----------------------------------------------------------*)

 consts

   ln     :: "real => real"

   alog   :: "[real, real] => real" ("_ log _" 80)

   exp    :: "real => real"         ("E'_ ^^^ _" 80)

 end