src/HOL/IsaMakefile

   Library/ML_Int.thy Library/ML_String.thy Library/Infinite_Set.thy \
   Library/FuncSet.thy Library/Library.thy \
   Library/List_Prefix.thy Library/State_Monad.thy Library/Multiset.thy \
   Library/NatPair.thy \
   Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \
-  Library/Nat_Infinity.thy Library/Word.thy \
+  Library/Quicksort.thy Library/Nat_Infinity.thy Library/Word.thy \
   Library/README.html Library/Continuity.thy \
   Library/Nested_Environment.thy Library/Zorn.thy\
   Library/Library/ROOT.ML Library/Library/document/root.tex \
   Library/Library/document/root.bib Library/While_Combinator.thy \
   Library/Product_ord.thy Library/Char_nat.thy Library/Char_ord.thy \

 ## HOL-Induct
 
 HOL-Induct: HOL $(LOG)/HOL-Induct.gz
 
 $(LOG)/HOL-Induct.gz: $(OUT)/HOL \
-  Induct/Common_Patterns.thy Induct/Com.thy Induct/Comb.thy Induct/LFilter.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 \
   Induct/Sexp.thy Induct/Sigma_Algebra.thy \
   Induct/SList.thy Induct/ABexp.thy Induct/Term.thy \

   ex/Eval_Examples.thy ex/Groebner_Examples.thy ex/Random.thy \
   ex/Codegenerator.thy ex/Codegenerator_Pretty.thy \
   ex/Commutative_RingEx.thy ex/Hex_Bin_Examples.thy \
   ex/Commutative_Ring_Complete.thy ex/ExecutableContent.thy \
   ex/Fundefs.thy ex/Guess.thy ex/Hebrew.thy ex/Binary.thy \
-  ex/Higher_Order_Logic.thy ex/Hilbert_Classical.thy ex/InSort.thy \
+  ex/Higher_Order_Logic.thy ex/Hilbert_Classical.thy \
   ex/InductiveInvariant.thy ex/InductiveInvariant_examples.thy \
   ex/Intuitionistic.thy ex/Lagrange.thy ex/Locales.thy ex/LocaleTest2.thy \
   ex/MT.thy ex/MergeSort.thy ex/MonoidGroup.thy ex/Multiquote.thy \
   ex/NatSum.thy ex/NBE.thy ex/PER.thy ex/PresburgerEx.thy ex/Primrec.thy \
-  ex/Puzzle.thy ex/Qsort.thy ex/Quickcheck_Examples.thy \
+  ex/Puzzle.thy ex/Quickcheck_Examples.thy \
   ex/Reflection.thy ex/reflection_data.ML ex/ReflectionEx.thy ex/ROOT.ML ex/Recdefs.thy \
   ex/Records.thy ex/Reflected_Presburger.thy ex/coopertac.ML ex/coopereif.ML \
   ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.thy \
   ex/Sudoku.thy ex/Tarski.thy ex/Unification.thy ex/document/root.bib \
   ex/document/root.tex ex/Meson_Test.thy ex/reflection.ML \