changeset 24607 | fc06b84acd81 |
parent 24540 | 68dab042dea8 |
child 24616 | fac3dd4ade83 |
--- a/src/HOL/IsaMakefile Sun Sep 16 21:04:43 2007 +0200 +++ b/src/HOL/IsaMakefile Sun Sep 16 21:04:44 2007 +0200 @@ -248,7 +248,7 @@ HOL-Induct: HOL $(LOG)/HOL-Induct.gz $(LOG)/HOL-Induct.gz: $(OUT)/HOL \ - Induct/Com.thy Induct/Comb.thy Induct/LFilter.thy \ + Induct/Common_Patterns.thy Induct/Com.thy Induct/Comb.thy Induct/LFilter.thy \ Induct/LList.thy Induct/Mutil.thy Induct/Ordinals.thy \ Induct/PropLog.thy Induct/QuoNestedDataType.thy Induct/QuoDataType.thy\ Induct/ROOT.ML \