PolyListSyntax.v « Lists « theories - coq - The formal proof system

about summary refs log tree commit diff

path: root/theories/Lists/PolyListSyntax.v

blob: a19a3dcc14a6982fbb53c8285fcc7cefa3ae98e5 (plain)

(* $Id$ *)

(* Syntax for list concatenation *)
Require PolyList.

Infix RIGHTA 7 "^" app.