equal
deleted
inserted
replaced
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/LFilter.ML Induct/LFilter.thy \ |
82 Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \ |
83 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 \ |
|
84 Induct/Multiset0.ML Induct/Multiset0.thy \ |
|
85 Induct/Multiset.ML Induct/Multiset.thy \ |
84 Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML Induct/PropLog.thy \ |
86 Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML Induct/PropLog.thy \ |
85 Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/Simult.ML \ |
87 Induct/ROOT.ML Induct/SList.ML Induct/SList.thy Induct/Simult.ML \ |
86 Induct/Simult.thy Induct/Term.ML Induct/Term.thy |
88 Induct/Simult.thy Induct/Term.ML Induct/Term.thy |
87 @$(ISATOOL) usedir $(OUT)/HOL Induct |
89 @$(ISATOOL) usedir $(OUT)/HOL Induct |
88 |
90 |