equal
deleted
inserted
replaced
357 Algebra/poly/LongDiv.ML Algebra/poly/LongDiv.thy \ |
357 Algebra/poly/LongDiv.ML Algebra/poly/LongDiv.thy \ |
358 Algebra/poly/PolyHomo.ML Algebra/poly/PolyHomo.thy \ |
358 Algebra/poly/PolyHomo.ML Algebra/poly/PolyHomo.thy \ |
359 Algebra/poly/Polynomial.thy \ |
359 Algebra/poly/Polynomial.thy \ |
360 Algebra/poly/UnivPoly2.ML Algebra/poly/UnivPoly2.thy \ |
360 Algebra/poly/UnivPoly2.ML Algebra/poly/UnivPoly2.thy \ |
361 Algebra/ringsimp.ML |
361 Algebra/ringsimp.ML |
362 @cd Algebra; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Algebra |
362 @cd Algebra; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Algebra |
363 |
363 |
364 ## HOL-Auth |
364 ## HOL-Auth |
365 |
365 |
366 HOL-Auth: HOL $(LOG)/HOL-Auth.gz |
366 HOL-Auth: HOL $(LOG)/HOL-Auth.gz |
367 |
367 |