equal
deleted
inserted
replaced
161 |
161 |
162 HOL-Library: HOL $(LOG)/HOL-Library.gz |
162 HOL-Library: HOL $(LOG)/HOL-Library.gz |
163 |
163 |
164 $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \ |
164 $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/Accessible_Part.thy \ |
165 Library/Library.thy Library/List_Prefix.thy Library/Multiset.thy \ |
165 Library/Library.thy Library/List_Prefix.thy Library/Multiset.thy \ |
166 Library/Quotient.thy Library/README.html Library/ROOT.ML \ |
166 Library/Quotient.thy Library/Ring_and_Field.thy Library/README.html \ |
167 Library/While_Combinator.thy Library/While_Combinator_Example.thy |
167 Library/ROOT.ML Library/While_Combinator.thy \ |
|
168 Library/While_Combinator_Example.thy |
168 @$(ISATOOL) usedir $(OUT)/HOL Library |
169 @$(ISATOOL) usedir $(OUT)/HOL Library |
169 |
170 |
170 |
171 |
171 ## HOL-Subst |
172 ## HOL-Subst |
172 |
173 |