[Ur] maybe I missed something regarding .urp files

[Adam Chlipala]

Vasili I. Galchin wrote:
>      I think a lot of my misunderstanding has to do with the syntax 
> surrounding .urp files. If there is no formal definition of the 
> syntax/semantics of the .urp files then all is bad, Are we totally 
> relying on examples from "demo" directory?

I wouldn't say there's a "formal semantics" out there, but there's a 
section of the reference manual.