equal
deleted
inserted
replaced
876 Decision_Procs/langford_data.ML \ |
876 Decision_Procs/langford_data.ML \ |
877 Decision_Procs/mir_tac.ML |
877 Decision_Procs/mir_tac.ML |
878 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Decision_Procs |
878 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Decision_Procs |
879 |
879 |
880 |
880 |
881 ## HOL-Docs |
|
882 |
|
883 HOL-Docs: HOL $(LOG)/HOL-Docs.gz |
|
884 |
|
885 $(LOG)/HOL-Docs.gz: $(OUT)/HOL Docs/Main_Doc.thy Docs/ROOT.ML \ |
|
886 Docs/document/root.tex |
|
887 @$(ISABELLE_TOOL) usedir -D generated $(OUT)/HOL Docs |
|
888 |
|
889 |
|
890 ## HOL-Proofs |
881 ## HOL-Proofs |
891 |
882 |
892 HOL-Proofs: Pure $(OUT)/HOL-Proofs |
883 HOL-Proofs: Pure $(OUT)/HOL-Proofs |
893 |
884 |
894 $(OUT)/HOL-Proofs: main.ML $(MAIN_DEPENDENCIES) |
885 $(OUT)/HOL-Proofs: main.ML $(MAIN_DEPENDENCIES) |