nwk → proof Relation

File in src/opt/nwk	Includes file in src/proof
nwk.h	fra / fra.h
nwk.h	ssw / ssw.h
nwkAig.c	abs / abs.h