Artifacts of isabelle-nightly-benchmark #1104

	HOL.db	Jan 17, 2020, 12:55:35 AM	44.00 KiB
	HOL.gz	Jan 17, 2020, 12:55:34 AM	143.45 KiB
	HOL-Analysis.db	Jan 17, 2020, 1:02:09 AM	68.00 KiB
	HOL-Analysis.gz	Jan 17, 2020, 1:02:09 AM	31.74 KiB
	HOL-Cardinals.db	Jan 17, 2020, 1:02:19 AM	20.00 KiB
	HOL-Cardinals.gz	Jan 17, 2020, 1:02:18 AM	650 B
	HOL-Complex_Analysis.db	Jan 17, 2020, 1:02:19 AM	20.00 KiB
	Pure.db	Jan 17, 2020, 12:51:30 AM	48.00 KiB
	Pure.gz	Jan 17, 2020, 12:51:30 AM	86.80 KiB
(all files in zip)