Artifacts of isabelle-nightly-benchmark #1178

	HOL.db	Apr 24, 2020, 12:55:41 AM	44.00 KiB
	HOL.gz	Apr 24, 2020, 12:55:41 AM	143.40 KiB
	HOL-Analysis.db	Apr 24, 2020, 1:02:02 AM	68.00 KiB
	HOL-Analysis.gz	Apr 24, 2020, 1:02:02 AM	29.82 KiB
	HOL-Cardinals.db	Apr 24, 2020, 1:02:11 AM	20.00 KiB
	HOL-Cardinals.gz	Apr 24, 2020, 1:02:11 AM	648 B
	HOL-Complex_Analysis.db	Apr 24, 2020, 1:02:11 AM	20.00 KiB
	Pure.db	Apr 24, 2020, 12:51:32 AM	48.00 KiB
	Pure.gz	Apr 24, 2020, 12:51:32 AM	68.49 KiB
(all files in zip)