src/HOL/IsaMakefile

   Recdef.thy Record.thy RelPow.ML RelPow.thy Relation.ML Relation.thy   \
   Set.ML Set.thy SetInterval.ML	SetInterval.thy String.thy              \
   SVC_Oracle.ML SVC_Oracle.thy Sum.ML Sum.thy Tools/datatype_aux.ML     \
   Tools/datatype_abs_proofs.ML Tools/datatype_package.ML Tools/datatype_prop.ML	\
   Tools/datatype_rep_proofs.ML Tools/induct_method.ML			\
-  Tools/inductive_package.ML Tools/numeral_syntax.ML			\
+  Tools/inductive_package.ML Tools/meson.ML Tools/numeral_syntax.ML     \
   Tools/primrec_package.ML Tools/recdef_package.ML			\
   Tools/record_package.ML Tools/svc_funcs.ML Tools/typedef_package.ML	\
   Trancl.ML Trancl.thy Univ.ML Univ.thy Vimage.ML Vimage.thy WF.ML	\
   WF.thy WF_Rel.ML WF_Rel.thy While.ML While.thy arith_data.ML blastdata.ML \
   cladata.ML equalities.ML equalities.thy hologic.ML mono.ML mono.thy   \

   ex/InSort.ML ex/InSort.thy ex/MT.ML ex/MT.thy ex/NatSum.ML ex/NatSum.thy \
   ex/Fib.ML ex/Fib.thy ex/Primes.thy \
   ex/Factorization.ML ex/Factorization.thy \
   ex/Primrec.ML ex/Primrec.thy \
   ex/Puzzle.ML ex/Puzzle.thy ex/Qsort.ML ex/Qsort.thy \
-  ex/ROOT.ML ex/Recdefs.ML ex/Recdefs.thy ex/cla.ML ex/meson.ML \
+  ex/ROOT.ML ex/Recdefs.ML ex/Recdefs.thy ex/cla.ML \
   ex/mesontest.ML ex/mesontest2.ML ex/set.thy ex/set.ML \
   ex/Group.ML ex/Group.thy ex/IntRing.ML ex/IntRing.thy \
   ex/Lagrange.ML ex/Lagrange.thy ex/Ring.ML ex/Ring.thy ex/StringEx.ML \
   ex/StringEx.thy ex/Tarski.ML ex/Tarski.thy \
   ex/BinEx.ML ex/BinEx.thy ex/svc_test.thy ex/svc_test.ML ex/MonoidGroup.thy \