equal
deleted
inserted
replaced
453 HOL-Induct: HOL $(LOG)/HOL-Induct.gz |
453 HOL-Induct: HOL $(LOG)/HOL-Induct.gz |
454 |
454 |
455 $(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Com.thy Induct/Comb.thy \ |
455 $(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Com.thy Induct/Comb.thy \ |
456 Induct/Ordinals.thy Induct/PropLog.thy Induct/QuoNestedDataType.thy \ |
456 Induct/Ordinals.thy Induct/PropLog.thy Induct/QuoNestedDataType.thy \ |
457 Induct/QuoDataType.thy Induct/ROOT.ML Induct/Sexp.thy \ |
457 Induct/QuoDataType.thy Induct/ROOT.ML Induct/Sexp.thy \ |
458 Induct/Sigma_Algebra.thy Induct/ABexp.thy Induct/Term.thy \ |
458 Induct/Sigma_Algebra.thy Induct/ABexp.thy Induct/SList.thy \ |
459 Induct/Tree.thy Induct/document/root.tex |
459 Induct/Term.thy Induct/Tree.thy Induct/document/root.tex |
460 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Induct |
460 @$(ISABELLE_TOOL) usedir $(OUT)/HOL Induct |
461 |
461 |
462 |
462 |
463 ## HOL-IMP |
463 ## HOL-IMP |
464 |
464 |