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 47613 e72e44cee6f2
parent 47602 3d44790b5ab0
child 47654 f7df7104d13e 
--- a/src/HOL/IsaMakefile	Thu Apr 19 17:32:35 2012 +0200
+++ b/src/HOL/IsaMakefile	Thu Apr 19 20:19:13 2012 +0200
@@ -526,6 +526,9 @@
 
 $(OUT)/HOL-IMP: $(OUT)/HOL \
   IMP/ACom.thy \
+  IMP/Abs_Int0.thy IMP/Abs_State.thy IMP/Abs_Int1.thy \
+  IMP/Abs_Int1_const.thy IMP/Abs_Int1_parity.thy \
+  IMP/Abs_Int2.thy IMP/Abs_Int2_ivl.thy IMP/Abs_Int3.thy \
   IMP/Abs_Int_ITP/Abs_Int0_ITP.thy IMP/Abs_Int_ITP/Abs_State_ITP.thy \
   IMP/Abs_Int_ITP/Abs_Int1_ITP.thy IMP/Abs_Int_ITP/Abs_Int1_const_ITP.thy \
   IMP/Abs_Int_ITP/Abs_Int1_parity_ITP.thy IMP/Abs_Int_ITP/Abs_Int2_ITP.thy \
isabelle