FDL > PVS > Graphs > ramsey new > (anonymous) : importing

IMPORTING subgraphs[T]