src/HOL/IsaMakefile
changeset 14075 ab2e26ae90e3
parent 14070 86c56794b641
child 14087 cb07c3948668
equal deleted inserted replaced
14074:93dfce3b6f86 14075:ab2e26ae90e3
   278 
   278 
   279 $(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.ML Hoare/Arith2.thy \
   279 $(LOG)/HOL-Hoare.gz: $(OUT)/HOL Hoare/Arith2.ML Hoare/Arith2.thy \
   280   Hoare/Examples.thy Hoare/hoare.ML Hoare/Hoare.thy \
   280   Hoare/Examples.thy Hoare/hoare.ML Hoare/Hoare.thy \
   281   Hoare/Heap.thy Hoare/HeapSyntax.thy Hoare/Pointer_Examples.thy \
   281   Hoare/Heap.thy Hoare/HeapSyntax.thy Hoare/Pointer_Examples.thy \
   282   Hoare/ROOT.ML Hoare/ExamplesAbort.thy  Hoare/HeapSyntaxAbort.thy \
   282   Hoare/ROOT.ML Hoare/ExamplesAbort.thy  Hoare/HeapSyntaxAbort.thy \
   283   Hoare/hoareAbort.ML Hoare/HoareAbort.thy
   283   Hoare/hoareAbort.ML Hoare/HoareAbort.thy Hoare/SchorrWaite.thy \
       
   284   Hoare/Separation.thy Hoare/SepLogHeap.thy
   284 	@$(ISATOOL) usedir $(OUT)/HOL Hoare
   285 	@$(ISATOOL) usedir $(OUT)/HOL Hoare
   285 
   286 
   286 
   287 
   287 ## HOL-HoareParallel
   288 ## HOL-HoareParallel
   288 
   289