src/HOL/IsaMakefile

   Induct/Com.ML Induct/Com.thy Induct/Comb.ML Induct/Comb.thy \
   Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \
   Induct/LList.ML Induct/LList.thy Induct/Mutil.ML Induct/Mutil.thy \
   Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML \
   Induct/PropLog.thy Induct/ROOT.ML Induct/Sexp.ML Induct/Sexp.thy \
-  Induct/SList.ML Induct/SList.thy Induct/ABexp.ML Induct/ABexp.thy \
-  Induct/Term.ML Induct/Term.thy
+  Induct/Sigma_Algebra.thy Induct/SList.ML Induct/SList.thy \
+  Induct/ABexp.ML Induct/ABexp.thy Induct/Term.ML Induct/Term.thy
 	@$(ISATOOL) usedir $(OUT)/HOL Induct
 
 
 ## HOL-IMP