equal
deleted
inserted
replaced
97 Pure: |
97 Pure: |
98 @cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure |
98 @cd $(SRC)/Pure; $(ISABELLE_TOOL) make Pure |
99 |
99 |
100 $(OUT)/Pure: Pure |
100 $(OUT)/Pure: Pure |
101 |
101 |
102 BASE_DEPENDENCIES = $(OUT)/Pure \ |
102 BASE_DEPENDENCIES = $(SRC)/HOL/Tools/Sledgehammer/named_thm_set.ML \ |
|
103 $(OUT)/Pure \ |
103 $(SRC)/Provers/blast.ML \ |
104 $(SRC)/Provers/blast.ML \ |
104 $(SRC)/Provers/clasimp.ML \ |
105 $(SRC)/Provers/clasimp.ML \ |
105 $(SRC)/Provers/classical.ML \ |
106 $(SRC)/Provers/classical.ML \ |
106 $(SRC)/Provers/hypsubst.ML \ |
107 $(SRC)/Provers/hypsubst.ML \ |
107 $(SRC)/Provers/quantifier1.ML \ |
108 $(SRC)/Provers/quantifier1.ML \ |
293 Tools/meson.ML \ |
294 Tools/meson.ML \ |
294 Tools/nat_numeral_simprocs.ML \ |
295 Tools/nat_numeral_simprocs.ML \ |
295 Tools/numeral.ML \ |
296 Tools/numeral.ML \ |
296 Tools/numeral_simprocs.ML \ |
297 Tools/numeral_simprocs.ML \ |
297 Tools/numeral_syntax.ML \ |
298 Tools/numeral_syntax.ML \ |
298 Tools/polyhash.ML \ |
|
299 Tools/Predicate_Compile/predicate_compile_aux.ML \ |
299 Tools/Predicate_Compile/predicate_compile_aux.ML \ |
300 Tools/Predicate_Compile/predicate_compile_compilations.ML \ |
300 Tools/Predicate_Compile/predicate_compile_compilations.ML \ |
301 Tools/Predicate_Compile/predicate_compile_core.ML \ |
301 Tools/Predicate_Compile/predicate_compile_core.ML \ |
302 Tools/Predicate_Compile/predicate_compile_data.ML \ |
302 Tools/Predicate_Compile/predicate_compile_data.ML \ |
303 Tools/Predicate_Compile/predicate_compile_fun.ML \ |
303 Tools/Predicate_Compile/predicate_compile_fun.ML \ |