path: root/etc/coq/parsing.v

(* Here's a test of a 

  (* nested comment:
	Since Coq has them, PG ought to be able to deal
        with them.
   *)
*)

Require Logic.