src/HOL/IsaMakefile
changeset 10343 24c87e1366d8
parent 10330 4362e906b745
child 10356 bf881f5fd82f
equal deleted inserted replaced
10342:b124d59f7b61 10343:24c87e1366d8
   196 
   196 
   197 ## HOL-IMP
   197 ## HOL-IMP
   198 
   198 
   199 HOL-IMP: HOL $(LOG)/HOL-IMP.gz
   199 HOL-IMP: HOL $(LOG)/HOL-IMP.gz
   200 
   200 
   201 $(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.thy IMP/Denotation.ML \
   201 $(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/Com.thy IMP/Compiler.thy IMP/Denotation.ML \
   202   IMP/Denotation.thy IMP/Expr.ML IMP/Expr.thy IMP/Hoare.ML IMP/Hoare.thy \
   202   IMP/Denotation.thy IMP/Expr.ML IMP/Expr.thy IMP/Hoare.ML IMP/Hoare.thy \
   203   IMP/Natural.ML IMP/Natural.thy IMP/Examples.ML IMP/Examples.thy \
   203   IMP/Natural.ML IMP/Natural.thy IMP/Examples.ML IMP/Examples.thy \
   204   IMP/Transition.ML IMP/Transition.thy IMP/VC.ML IMP/VC.thy IMP/ROOT.ML
   204   IMP/Transition.ML IMP/Transition.thy IMP/VC.ML IMP/VC.thy IMP/ROOT.ML
   205 	@$(ISATOOL) usedir $(OUT)/HOL IMP
   205 	@$(ISATOOL) usedir $(OUT)/HOL IMP
   206 
   206