equal
deleted
inserted
replaced
291 ## HOL-Hoare |
291 ## HOL-Hoare |
292 |
292 |
293 HOL-Hoare: HOL $(LOG)/HOL-Hoare.gz |
293 HOL-Hoare: HOL $(LOG)/HOL-Hoare.gz |
294 |
294 |
295 $(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.ML Hoare/Arith2.thy \ |
295 $(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.ML Hoare/Arith2.thy \ |
296 Hoare/Examples.thy Hoare/Hoare.ML Hoare/Hoare.thy \ |
296 Hoare/Examples.thy Hoare/hoare.ML Hoare/Hoare.thy \ |
297 Hoare/Pointers.thy Hoare/ROOT.ML |
297 Hoare/Pointers.thy Hoare/ROOT.ML |
298 @$(ISATOOL) usedir $(OUT)/HOL Hoare |
298 @$(ISATOOL) usedir $(OUT)/HOL Hoare |
299 |
299 |
300 |
300 |
301 ## HOL-HoareParallel |
301 ## HOL-HoareParallel |