FDL > PVS > Graphs > subgraphs > (anonymous) : importing

IMPORTING graphs[T]