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 \