isabelle: 059ba950a657 tip
afp: 0fdf8f639bb4 tip
Building HOL-Multivariate_Analysis ...
Running Sturm_Tarski ...
Running Abstract_Completeness ...
Finished Sturm_Tarski (0:00:28 elapsed time, 0:01:21 cpu time, factor 2.89)
Abstract_Completeness FAILED
(see also
Fixed with 1bcf0828d38c and 7a2b867fa843.
Am Montag, den 17.11.2014, 09:13 +0100 schrieb Florian Haftmann:
isabelle: 059ba950a657 tip
afp: 0fdf8f639bb4 tip
Building HOL-Multivariate_Analysis ...
Running Sturm_Tarski ...
Running Abstract_Completeness ...
Finished Sturm_Tarski (0:00:28