Makefile.dependencies
*.o
*~
eprover
classify_problem
termprops
proofanalyze
direct_examples
e2pcl
epclanalyse
checkproof
eground
ekb_create
ekb_insert
ekb_ginsert 
ekb_delete 
tsm_classify