equal
deleted
inserted
replaced
77 |
77 |
78 HOL-Induct: HOL $(LOG)/HOL-Induct.gz |
78 HOL-Induct: HOL $(LOG)/HOL-Induct.gz |
79 |
79 |
80 $(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Acc.ML Induct/Acc.thy \ |
80 $(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Acc.ML Induct/Acc.thy \ |
81 Induct/Com.ML Induct/Com.thy Induct/Comb.ML Induct/Comb.thy \ |
81 Induct/Com.ML Induct/Com.thy Induct/Comb.ML Induct/Comb.thy \ |
82 Induct/Exp.ML Induct/Exp.thy Induct/FoldSet.ML Induct/FoldSet.thy \ |
82 Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \ |
83 Induct/LFilter.ML Induct/LFilter.thy \ |
|
84 Induct/LList.ML Induct/LList.thy Induct/Mutil.ML Induct/Mutil.thy \ |
83 Induct/LList.ML Induct/LList.thy Induct/Mutil.ML Induct/Mutil.thy \ |
85 Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML Induct/PropLog.thy \ |
84 Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML Induct/PropLog.thy \ |
86 Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/Simult.ML \ |
85 Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/Simult.ML \ |
87 Induct/Simult.thy Induct/Term.ML Induct/Term.thy |
86 Induct/Simult.thy Induct/Term.ML Induct/Term.thy |
88 @$(ISATOOL) usedir $(OUT)/HOL Induct |
87 @$(ISATOOL) usedir $(OUT)/HOL Induct |