# lib Makefile

CONTEXT = lib
FILES = lemmas.pvs add.pvs bv_lemmas.pvs log.pvs lib_import.pvs

all: $(CONTEXT).pvs prove.el

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

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