Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 43150 69bc4dafcc53
parent 43146 09f74fda1b1d
child 43158 686fa0a0696e 
--- a/src/HOL/IsaMakefile	Thu Jun 02 08:55:08 2011 +0200
+++ b/src/HOL/IsaMakefile	Thu Jun 02 10:10:23 2011 +0200
@@ -528,7 +528,7 @@
 
 $(LOG)/HOL-IMP.gz: $(OUT)/HOL IMP/ASM.thy IMP/AExp.thy IMP/BExp.thy	\
   IMP/Big_Step.thy IMP/Com.thy IMP/Compiler.thy IMP/Denotation.thy 	\
-  IMP/Small_Step.thy IMP/Star.thy					\
+  IMP/Poly_Types.thy IMP/Small_Step.thy IMP/Star.thy IMP/Types.thy	\
   IMP/ROOT.ML IMP/document/root.tex IMP/document/root.bib
 	@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL IMP
isabelle