Added dependecies
authornipkow
Wed Sep 28 09:59:55 2011 +0200 (2011-09-28 ago)
changeset 4511232c90199df2e
parent 45111 054a9ac0d7ef
child 45113 2a0d7be998bb
Added dependecies
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Wed Sep 28 09:55:11 2011 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Sep 28 09:59:55 2011 +0200
     1.3 @@ -515,7 +515,10 @@
     1.4  
     1.5  HOL-IMP: HOL $(OUT)/HOL-IMP
     1.6  
     1.7 -$(OUT)/HOL-IMP: $(OUT)/HOL IMP/Abs_Int_Den/Abs_Int_den0_fun.thy \
     1.8 +$(OUT)/HOL-IMP: $(OUT)/HOL \
     1.9 +  IMP/Abs_Int0_fun.thy IMP/Abs_State.thy IMP/Abs_Int0.thy \
    1.10 +  IMP/Abs_Int0_const.thy IMP/Abs_Int1.thy IMP/Abs_Int1_ivl.thy \
    1.11 +  IMP/Abs_Int2.thy IMP/Abs_Int_Den/Abs_Int_den0_fun.thy \
    1.12    IMP/Abs_Int_Den/Abs_State_den.thy  IMP/Abs_Int_Den/Abs_Int_den0.thy \
    1.13    IMP/Abs_Int_Den/Abs_Int_den0_const.thy IMP/Abs_Int_Den/Abs_Int_den1.thy \
    1.14    IMP/Abs_Int_Den/Abs_Int_den1_ivl.thy IMP/Abs_Int_Den/Abs_Int_den2.thy \