equal
deleted
inserted
replaced
295 |
295 |
296 HOL-Hoare: HOL $(LOG)/HOL-Hoare.gz |
296 HOL-Hoare: HOL $(LOG)/HOL-Hoare.gz |
297 |
297 |
298 $(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.ML Hoare/Arith2.thy \ |
298 $(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.ML Hoare/Arith2.thy \ |
299 Hoare/Examples.thy Hoare/hoare.ML Hoare/Hoare.thy \ |
299 Hoare/Examples.thy Hoare/hoare.ML Hoare/Hoare.thy \ |
300 Hoare/Pointers.thy Hoare/Pointer_Examples.thy Hoare/ROOT.ML |
300 Hoare/Pointers.thy Hoare/Pointer_Examples.thy Hoare/ROOT.ML \ |
|
301 Hoare/ExamplesAbort.thy Hoare/hoareAbort.ML Hoare/HoareAbort.thy |
301 @$(ISATOOL) usedir $(OUT)/HOL Hoare |
302 @$(ISATOOL) usedir $(OUT)/HOL Hoare |
302 |
303 |
303 |
304 |
304 ## HOL-HoareParallel |
305 ## HOL-HoareParallel |
305 |
306 |