equal
deleted
inserted
replaced
257 |
257 |
258 HOL-GroupTheory: HOL $(LOG)/HOL-GroupTheory.gz |
258 HOL-GroupTheory: HOL $(LOG)/HOL-GroupTheory.gz |
259 |
259 |
260 $(LOG)/HOL-GroupTheory.gz: $(OUT)/HOL \ |
260 $(LOG)/HOL-GroupTheory.gz: $(OUT)/HOL \ |
261 Library/Primes.thy \ |
261 Library/Primes.thy \ |
262 GroupTheory/Exponent.thy GroupTheory/Exponent.ML GroupTheory/Group.thy\ |
262 GroupTheory/Exponent.thy GroupTheory/Exponent.ML\ |
263 GroupTheory/Group.ML GroupTheory/Sylow.thy GroupTheory/Sylow.ML\ |
263 GroupTheory/Coset.thy GroupTheory/Coset.ML\ |
|
264 GroupTheory/DirProd.thy GroupTheory/DirProd.ML\ |
|
265 GroupTheory/Group.thy GroupTheory/Group.ML\ |
|
266 GroupTheory/Sylow.thy GroupTheory/Sylow.ML\ |
264 GroupTheory/ROOT.ML |
267 GroupTheory/ROOT.ML |
265 @$(ISATOOL) usedir $(OUT)/HOL GroupTheory |
268 @$(ISATOOL) usedir $(OUT)/HOL GroupTheory |
266 |
269 |
267 |
270 |
268 ## HOL-Hoare |
271 ## HOL-Hoare |