(* $Id$ *)

(* Syntax for list concatenation *)
Require PolyList.

Infix RIGHTA 7 "^" app.