/patch-Makefile/1.1.1.1/Mon Mar  7 22:26:24 2011//
/patch-apps_src_Makefile/1.1.1.1/Mon Mar  7 22:26:24 2011//
/patch-ladr_Makefile/1.1.1.1/Mon Mar  7 22:26:24 2011//
/patch-mace4_src_Makefile/1.1.1.1/Mon Mar  7 22:26:24 2011//
/patch-provers_src_Makefile/1.1.1.1/Mon Mar  7 22:26:24 2011//
D
