src/HOL/IsaMakefile
changeset 14075 ab2e26ae90e3
parent 14070 86c56794b641
child 14087 cb07c3948668
     1.1 --- a/src/HOL/IsaMakefile	Thu Jun 26 18:14:04 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Jun 26 18:20:00 2003 +0200
     1.3 @@ -280,7 +280,8 @@
     1.4    Hoare/Examples.thy Hoare/hoare.ML Hoare/Hoare.thy \
     1.5    Hoare/Heap.thy Hoare/HeapSyntax.thy Hoare/Pointer_Examples.thy \
     1.6    Hoare/ROOT.ML Hoare/ExamplesAbort.thy  Hoare/HeapSyntaxAbort.thy \
     1.7 -  Hoare/hoareAbort.ML Hoare/HoareAbort.thy
     1.8 +  Hoare/hoareAbort.ML Hoare/HoareAbort.thy Hoare/SchorrWaite.thy \
     1.9 +  Hoare/Separation.thy Hoare/SepLogHeap.thy
    1.10  	@$(ISATOOL) usedir $(OUT)/HOL Hoare
    1.11  
    1.12