equal
deleted
inserted
replaced
197 ## HOL-Library |
197 ## HOL-Library |
198 |
198 |
199 HOL-Library: HOL $(LOG)/HOL-Library.gz |
199 HOL-Library: HOL $(LOG)/HOL-Library.gz |
200 |
200 |
201 $(LOG)/HOL-Library.gz: $(OUT)/HOL \ |
201 $(LOG)/HOL-Library.gz: $(OUT)/HOL \ |
202 Library/SetsAndFunctions.thy Library/BigO.thy \ |
202 Library/SetsAndFunctions.thy Library/BigO.thy Library/Ramsey.thy \ |
203 Library/EfficientNat.thy Library/ExecutableSet.thy Library/ExecutableRat.thy \ |
203 Library/EfficientNat.thy Library/ExecutableSet.thy Library/ExecutableRat.thy \ |
204 Library/FuncSet.thy Library/Library.thy \ |
204 Library/FuncSet.thy Library/Library.thy \ |
205 Library/List_Prefix.thy Library/Multiset.thy Library/NatPair.thy \ |
205 Library/List_Prefix.thy Library/Multiset.thy Library/NatPair.thy \ |
206 Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \ |
206 Library/Permutation.thy Library/Primes.thy Library/Quotient.thy \ |
207 Library/Nat_Infinity.thy Library/Word.thy Library/word_setup.ML \ |
207 Library/Nat_Infinity.thy Library/Word.thy Library/word_setup.ML \ |