FDL > PVS > Graphs > ramsey new > ii : var-decl

ii: VAR nat