# mul_div Makefile

CONTEXT = mul_div
FILES = mul_div_import.pvs div_initial.pvs div_rep.pvs exp_md.pvs ieee_md.pvs lookup.pvs \
	md_stg1.pvs md_stg2.pvs mul_div_comb.pvs newton1.pvs newton_fin.pvs select_fd.pvs \
	ieee_md.pvs md_unpack.pvs md_comb.pvs

all: $(CONTEXT).pvs prove.el

$(CONTEXT).pvs: $(FILES)
	../theories.pl $(CONTEXT) $(FILES) > $@

prove.el: $(FILES)
	../prove.pl $(FILES) > $@