--- a/src/HOL/IsaMakefile Fri Feb 22 13:39:47 2013 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,66 +0,0 @@
-#
-# approximative IsaMakefile for legacy applications
-#
-
-default: HOL
-
-clean:
- -@$(ISABELLE_TOOL) build -a -n -c
-
-all:
- @$(ISABELLE_TOOL) build -a
-
-
-Pure: $(ISABELLE_OUTPUT)/Pure
-
-$(ISABELLE_OUTPUT)/Pure:
- @$(ISABELLE_TOOL) build -b Pure
-
-
-HOL: $(ISABELLE_OUTPUT)/HOL
-
-$(ISABELLE_OUTPUT)/HOL:
- @$(ISABELLE_TOOL) build -b HOL
-
-
-HOL-Library: $(ISABELLE_OUTPUT)/HOL-Library
-
-$(ISABELLE_OUTPUT)/HOL-Library:
- @$(ISABELLE_TOOL) build -b HOL-Library
-
-
-HOL-IMP: $(ISABELLE_OUTPUT)/HOL-IMP
-
-$(ISABELLE_OUTPUT)/HOL-IMP:
- @$(ISABELLE_TOOL) build -b HOL-IMP
-
-
-HOL-Multivariate_Analysis: $(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis
-
-$(ISABELLE_OUTPUT)/HOL-Multivariate_Analysis:
- @$(ISABELLE_TOOL) build -b HOL-Multivariate_Analysis
-
-
-HOL-Probability: $(ISABELLE_OUTPUT)/HOL-Probability
-
-$(ISABELLE_OUTPUT)/HOL-Probability:
- @$(ISABELLE_TOOL) build -b HOL-Probability
-
-
-HOL-Nominal: $(ISABELLE_OUTPUT)/HOL-Nominal
-
-$(ISABELLE_OUTPUT)/HOL-Nominal:
- @$(ISABELLE_TOOL) build -b HOL-Nominal
-
-
-HOL-Word: $(ISABELLE_OUTPUT)/HOL-Word
-
-$(ISABELLE_OUTPUT)/HOL-Word:
- @$(ISABELLE_TOOL) build -b HOL-Word
-
-
-HOLCF: $(ISABELLE_OUTPUT)/HOLCF
-
-$(ISABELLE_OUTPUT)/HOLCF:
- @$(ISABELLE_TOOL) build -b HOLCF
-