wlc → proof Relation

File in src/base/wlc	Includes file in src/proof
wlcAbs.c	pdr / pdr.h
wlcAbs.c	pdr / pdrInt.h
wlcAbs.c	ssw / ssw.h
wlcAbs2.c	pdr / pdr.h
wlcMem.c	pdr / pdr.h
wlcMem.c	pdr / pdrInt.h