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 14288 d149e3cbdb39
parent 14273 e33ffff0123c
child 14289 deb8e1e62002 
--- a/src/HOL/IsaMakefile	Wed Dec 10 14:29:44 2003 +0100
+++ b/src/HOL/IsaMakefile	Wed Dec 10 15:59:34 2003 +0100
@@ -224,6 +224,8 @@
 HOL-Induct: HOL $(LOG)/HOL-Induct.gz
 
 $(LOG)/HOL-Induct.gz: $(OUT)/HOL \
+  Induct/BinaryTree.thy Induct/BinaryTree_Map.thy\
+  Induct/BinaryTree_TacticStyle.thy\
   Induct/Com.thy Induct/Comb.thy Induct/LFilter.thy \
   Induct/LList.thy Induct/Mutil.thy Induct/Ordinals.thy \
   Induct/PropLog.thy Induct/ROOT.ML \
isabelle