abs → base Relation

File in src/proof/abs	Includes file in src/base
absGla.c	main / main.h
absGlaOld.c	main / main.h
absVta.c	main / main.h