sat.out: $(UTILS) lambda4.cmx sat.ml
$(OCAMLC) -o sat.out $(LIB) $^
#
test4.out: $(UTILS) lambda4.cmx test.ml
$(OCAMLC) -o test4.out $(LIB) $^
sat.out: $(UTILS) lambda4.cmx sat.ml
$(OCAMLC) -o sat.out $(LIB) $^
#
test4.out: $(UTILS) lambda4.cmx test.ml
$(OCAMLC) -o test4.out $(LIB) $^