equal
deleted
inserted
replaced
284 |
284 |
285 $(LOG)/HOL-GroupTheory.gz: $(OUT)/HOL \ |
285 $(LOG)/HOL-GroupTheory.gz: $(OUT)/HOL \ |
286 Library/Primes.thy Library/FuncSet.thy \ |
286 Library/Primes.thy Library/FuncSet.thy \ |
287 GroupTheory/Bij.thy \ |
287 GroupTheory/Bij.thy \ |
288 GroupTheory/Group.thy \ |
288 GroupTheory/Group.thy \ |
289 GroupTheory/Summation.thy \ |
|
290 GroupTheory/ROOT.ML \ |
289 GroupTheory/ROOT.ML \ |
291 GroupTheory/document/root.tex |
290 GroupTheory/document/root.tex |
292 @$(ISATOOL) usedir -g true $(OUT)/HOL GroupTheory |
291 @$(ISATOOL) usedir -g true $(OUT)/HOL GroupTheory |
293 |
292 |
294 |
293 |