+
−
## targets+
−
+
−
default: Quot+
−
images: +
−
+
−
all: Quot+
−
+
−
+
−
## global settings+
−
+
−
SRC = $(ISABELLE_HOME)/src+
−
OUT = $(ISABELLE_OUTPUT)+
−
LOG = $(OUT)/log+
−
+
−
USEDIR = $(ISABELLE_TOOL) usedir -v true -t true ## -D generated+
−
+
−
## Quot+
−
+
−
Quot: $(LOG)/HOL-Quot.gz+
−
+
−
$(LOG)/HOL-Quot.gz: Quot/ROOT.ML Quot/*.thy+
−
	@$(USEDIR) HOL-Nominal Quot+
−
+
−
+
−
## clean+
−
+
−
clean:+
−
	@rm -f $(LOG)/HOL-Quot.gz+
−