io → proof Relation

File in src/base/io	Includes file in src/proof
io.c	abs / abs.h
io.c	fra / fra.h