--- a/src/HOL/IsaMakefile Fri Jun 17 14:35:24 2011 +0200
+++ b/src/HOL/IsaMakefile Fri Jun 17 20:38:43 2011 +0200
@@ -529,7 +529,7 @@
$(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/ASM.thy IMP/AExp.thy IMP/BExp.thy \
IMP/Big_Step.thy IMP/C_like.thy IMP/Com.thy IMP/Compiler.thy \
- IMP/Def_Ass.thy IMP/Def_Ass_Big.thy IMP/Def_Ass_Exp.thy \
+ IMP/Comp_Rev.thy IMP/Def_Ass.thy IMP/Def_Ass_Big.thy IMP/Def_Ass_Exp.thy \
IMP/Def_Ass_Small.thy IMP/Def_Ass_Sound_Big.thy \
IMP/Def_Ass_Sound_Small.thy IMP/Denotation.thy IMP/Hoare.thy \
IMP/HoareT.thy IMP/Hoare_Examples.thy IMP/Hoare_Sound_Complete.thy \