diff -r f506015ca2dc -r 0b02adadf384 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Sun Dec 11 09:55:57 2011 +0100
+++ b/src/HOL/IsaMakefile	Sun Dec 11 18:22:06 2011 +0100
@@ -526,7 +526,7 @@
   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 \
-  IMP/Live.thy IMP/OO.thy IMP/Poly_Types.thy IMP/Procs.thy \
+  IMP/Live.thy IMP/Live_True.thy IMP/OO.thy IMP/Poly_Types.thy IMP/Procs.thy \
   IMP/Procs_Dyn_Vars_Dyn.thy IMP/Procs_Stat_Vars_Dyn.thy \
   IMP/Procs_Stat_Vars_Stat.thy IMP/Sec_Type_Expr.thy IMP/Sec_Typing.thy \
   IMP/Sec_TypingT.thy IMP/Small_Step.thy IMP/Star.thy IMP/Types.thy \