equal
deleted
inserted
replaced
132 |
132 |
133 $(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Acc.ML Induct/Acc.thy \ |
133 $(LOG)/HOL-Induct.gz: $(OUT)/HOL Induct/Acc.ML Induct/Acc.thy \ |
134 Induct/Com.ML Induct/Com.thy Induct/Comb.ML Induct/Comb.thy \ |
134 Induct/Com.ML Induct/Com.thy Induct/Comb.ML Induct/Comb.thy \ |
135 Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \ |
135 Induct/Exp.ML Induct/Exp.thy Induct/LFilter.ML Induct/LFilter.thy \ |
136 Induct/LList.ML Induct/LList.thy Induct/Mutil.ML Induct/Mutil.thy \ |
136 Induct/LList.ML Induct/LList.thy Induct/Mutil.ML Induct/Mutil.thy \ |
137 Induct/Multiset0.ML Induct/Multiset0.thy Induct/Multiset.ML \ |
137 Induct/Multiset0.ML Induct/Multiset0.thy \ |
138 Induct/Multiset.thy Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML \ |
138 Induct/Multiset.ML Induct/Multiset.thy Induct/MultisetOrder.thy \ |
|
139 Induct/Perm.ML Induct/Perm.thy Induct/PropLog.ML \ |
139 Induct/PropLog.thy Induct/ROOT.ML Induct/Sexp.ML Induct/Sexp.thy \ |
140 Induct/PropLog.thy Induct/ROOT.ML Induct/Sexp.ML Induct/Sexp.thy \ |
140 Induct/SList.ML Induct/SList.thy Induct/ABexp.ML Induct/ABexp.thy \ |
141 Induct/SList.ML Induct/SList.thy Induct/ABexp.ML Induct/ABexp.thy \ |
141 Induct/Term.ML Induct/Term.thy |
142 Induct/Term.ML Induct/Term.thy |
142 @$(ISATOOL) usedir $(OUT)/HOL Induct |
143 @$(ISATOOL) usedir $(OUT)/HOL Induct |
143 |
144 |