reverted to join_bodies/join_proofs based on fold_body_thms to regain performance (escpecially of HOL-Proofs) -- see also aa9c1e9ef2ce and 4e2abb045eac;
## targets
default: LNCS
## global settings
SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log
USEDIR = $(ISABELLE_TOOL) usedir -i true -d ps -D document -v true
## LNCS
LNCS: $(LOG)/HOL-LNCS.gz
$(LOG)/HOL-LNCS.gz: LNCS/ROOT.ML LNCS/document/root.tex LNCS/document/root.bib LNCS/*.thy
@$(USEDIR) HOL LNCS
## clean
clean:
@rm -f $(LOG)/HOL-LNCS.gz