Artifacts of isabelle-nightly-benchmark #1163

	HOL.db	Apr 6, 2020, 12:55:37 AM	44.00 KiB
	HOL.gz	Apr 6, 2020, 12:55:37 AM	143.47 KiB
	HOL-Analysis.db	Apr 6, 2020, 12:55:37 AM	20.00 KiB
	Pure.db	Apr 6, 2020, 12:51:30 AM	48.00 KiB
	Pure.gz	Apr 6, 2020, 12:51:30 AM	68.47 KiB
(all files in zip)