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 14505 e2373489d373
parent 14502 0c135fa75626
child 14515 86f2daf48a3c 
--- a/src/HOL/IsaMakefile	Thu Apr 01 10:54:32 2004 +0200
+++ b/src/HOL/IsaMakefile	Thu Apr 01 15:05:04 2004 +0200
@@ -202,8 +202,6 @@
 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