/Makefile.am/1.4/Tue Oct  1 21:09:53 2002//
/proof_compile.c/1.2/Mon Sep 30 16:21:07 2002//
/proof_compile.h/1.2/Mon Sep 30 16:21:07 2002//
/proof_main.c/1.2/Mon Sep 30 16:21:07 2002//
/proof_util.c/1.2/Mon Sep 30 16:21:07 2002//
/proof_util.h/1.2/Mon Sep 30 16:21:07 2002//
D
