equal
deleted
inserted
replaced
246 ## HOL-Induct |
246 ## HOL-Induct |
247 |
247 |
248 HOL-Induct: HOL $(LOG)/HOL-Induct.gz |
248 HOL-Induct: HOL $(LOG)/HOL-Induct.gz |
249 |
249 |
250 $(LOG)/HOL-Induct.gz: $(OUT)/HOL \ |
250 $(LOG)/HOL-Induct.gz: $(OUT)/HOL \ |
251 Induct/Com.thy Induct/Comb.thy Induct/LFilter.thy \ |
251 Induct/Common_Patterns.thy Induct/Com.thy Induct/Comb.thy Induct/LFilter.thy \ |
252 Induct/LList.thy Induct/Mutil.thy Induct/Ordinals.thy \ |
252 Induct/LList.thy Induct/Mutil.thy Induct/Ordinals.thy \ |
253 Induct/PropLog.thy Induct/QuoNestedDataType.thy Induct/QuoDataType.thy\ |
253 Induct/PropLog.thy Induct/QuoNestedDataType.thy Induct/QuoDataType.thy\ |
254 Induct/ROOT.ML \ |
254 Induct/ROOT.ML \ |
255 Induct/Sexp.thy Induct/Sigma_Algebra.thy \ |
255 Induct/Sexp.thy Induct/Sigma_Algebra.thy \ |
256 Induct/SList.thy Induct/ABexp.thy Induct/Term.thy \ |
256 Induct/SList.thy Induct/ABexp.thy Induct/Term.thy \ |