FDL
>
PVS
>
Graphs
>
ramsey
new
> v0
: var-decl
v0: VAR
nat