Artifacts of isabelle-nightly-benchmark #1158

	HOL.db	Apr 1, 2020, 12:55:37 AM	44.00 KiB
	HOL.gz	Apr 1, 2020, 12:55:37 AM	143.41 KiB
	HOL-Analysis.db	Apr 1, 2020, 1:02:07 AM	68.00 KiB
	HOL-Analysis.gz	Apr 1, 2020, 1:02:07 AM	29.60 KiB
	HOL-Cardinals.db	Apr 1, 2020, 1:02:16 AM	20.00 KiB
	HOL-Cardinals.gz	Apr 1, 2020, 1:02:16 AM	644 B
	HOL-Complex_Analysis.db	Apr 1, 2020, 1:02:16 AM	20.00 KiB
	Pure.db	Apr 1, 2020, 12:51:31 AM	48.00 KiB
	Pure.gz	Apr 1, 2020, 12:51:31 AM	86.86 KiB
(all files in zip)