ft: main.o set.o stack.o formula.o  pprove.o prove.o prop.o unify.o print.o sift.o skeleton.o
	  cc main.o set.o stack.o formula.o prove.o pprove.o prop.o unify.o print.o sift.o skeleton.o -O -lm -o ft

prove.o pprove.o unify.o set.o prop.o stack.o formula.o main.o print.o sift.o skeleton.o: ft.h


