Artifacts of isabelle-nightly-benchmark #1233

	HOL.db	Jul 14, 2020, 12:55:50 AM	828.00 KiB
	HOL.gz	Jul 14, 2020, 12:55:49 AM	123.47 KiB
	HOL-Analysis.db	Jul 14, 2020, 1:02:17 AM	1.58 MiB
	HOL-Analysis.gz	Jul 14, 2020, 1:02:16 AM	15.81 KiB
	HOL-Auth.db	Jul 14, 2020, 1:03:42 AM	128.00 KiB
	HOL-Auth.gz	Jul 14, 2020, 1:03:41 AM	16.57 KiB
	HOL-Bali.db	Jul 14, 2020, 1:04:45 AM	188.00 KiB
	HOL-Bali.gz	Jul 14, 2020, 1:04:45 AM	14.22 KiB
	HOL-Cardinals.db	Jul 14, 2020, 1:04:55 AM	92.00 KiB
	HOL-Cardinals.gz	Jul 14, 2020, 1:04:55 AM	555 B
	HOL-Complex_Analysis.db	Jul 14, 2020, 1:04:55 AM	20.00 KiB
	Pure.db	Jul 14, 2020, 12:51:33 AM	48.00 KiB
	Pure.gz	Jul 14, 2020, 12:51:33 AM	68.61 KiB
(all files in zip)