equal
deleted
inserted
replaced
31 ## HOL-record |
31 ## HOL-record |
32 |
32 |
33 HOL-record: HOL $(LOG)/HOL-record.gz |
33 HOL-record: HOL $(LOG)/HOL-record.gz |
34 |
34 |
35 $(LOG)/HOL-record.gz: $(OUT)/HOL HOL-record/ROOT.ML \ |
35 $(LOG)/HOL-record.gz: $(OUT)/HOL HOL-record/ROOT.ML \ |
36 HOL-record/RecordBenchmark.thy |
36 HOL-record/Record_Benchmark.thy |
37 @$(ISABELLE_TOOL) usedir -s record $(OUT)/HOL HOL-record |
37 @$(ISABELLE_TOOL) usedir -s record $(OUT)/HOL HOL-record |
38 |
38 |
39 |
39 |
40 ## clean |
40 ## clean |
41 |
41 |