equal
deleted
inserted
replaced
513 |
513 |
514 ## HOL-IMP |
514 ## HOL-IMP |
515 |
515 |
516 HOL-IMP: HOL $(OUT)/HOL-IMP |
516 HOL-IMP: HOL $(OUT)/HOL-IMP |
517 |
517 |
518 $(OUT)/HOL-IMP: $(OUT)/HOL IMP/Abs_Int_Den/Abs_Int_den0_fun.thy \ |
518 $(OUT)/HOL-IMP: $(OUT)/HOL \ |
|
519 IMP/Abs_Int0_fun.thy IMP/Abs_State.thy IMP/Abs_Int0.thy \ |
|
520 IMP/Abs_Int0_const.thy IMP/Abs_Int1.thy IMP/Abs_Int1_ivl.thy \ |
|
521 IMP/Abs_Int2.thy IMP/Abs_Int_Den/Abs_Int_den0_fun.thy \ |
519 IMP/Abs_Int_Den/Abs_State_den.thy IMP/Abs_Int_Den/Abs_Int_den0.thy \ |
522 IMP/Abs_Int_Den/Abs_State_den.thy IMP/Abs_Int_Den/Abs_Int_den0.thy \ |
520 IMP/Abs_Int_Den/Abs_Int_den0_const.thy IMP/Abs_Int_Den/Abs_Int_den1.thy \ |
523 IMP/Abs_Int_Den/Abs_Int_den0_const.thy IMP/Abs_Int_Den/Abs_Int_den1.thy \ |
521 IMP/Abs_Int_Den/Abs_Int_den1_ivl.thy IMP/Abs_Int_Den/Abs_Int_den2.thy \ |
524 IMP/Abs_Int_Den/Abs_Int_den1_ivl.thy IMP/Abs_Int_Den/Abs_Int_den2.thy \ |
522 IMP/ASM.thy IMP/AExp.thy IMP/BExp.thy \ |
525 IMP/ASM.thy IMP/AExp.thy IMP/BExp.thy \ |
523 IMP/Big_Step.thy IMP/C_like.thy IMP/Com.thy IMP/Compiler.thy \ |
526 IMP/Big_Step.thy IMP/C_like.thy IMP/Com.thy IMP/Compiler.thy \ |