Artifacts of isabelle-nightly-benchmark #282

	HOL.gz	Mar 15, 2017, 1:30:22 AM	214.25 KiB
	HOL-Algebra.gz	Mar 15, 2017, 1:47:33 AM	28.62 KiB
	HOL-Analysis.gz	Mar 15, 2017, 1:42:15 AM	188.95 KiB
	HOL-Auth.gz	Mar 15, 2017, 1:43:33 AM	44.99 KiB
	HOL-Bali.gz	Mar 15, 2017, 1:48:35 AM	39.85 KiB
	HOL-Cardinals.gz	Mar 15, 2017, 1:48:44 AM	6.68 KiB
	HOLCF.gz	Mar 15, 2017, 1:46:22 AM	14.30 KiB
	HOL-Corec_Examples.gz	Mar 15, 2017, 1:51:30 AM	25.41 KiB
	HOL-Data_Structures.gz	Mar 15, 2017, 1:55:19 AM	39.24 KiB
	HOL-Datatype_Benchmark.gz	Mar 15, 2017, 2:02:26 AM	30.29 KiB
	HOL-Datatype_Examples.gz	Mar 15, 2017, 2:03:54 AM	23.61 KiB
	HOL-Decision_Procs.gz	Mar 15, 2017, 2:07:39 AM	79.15 KiB
	HOL-Hoare_Parallel.gz	Mar 15, 2017, 2:08:45 AM	32.03 KiB
	HOL-IMP.gz	Mar 15, 2017, 2:09:58 AM	44.94 KiB
	HOL-Library.gz	Mar 15, 2017, 2:11:38 AM	103.66 KiB
	HOL-Metis_Examples.gz	Mar 15, 2017, 2:11:53 AM	11.14 KiB
	HOL-MicroJava.gz	Mar 15, 2017, 2:12:57 AM	37.43 KiB
	HOL-Nominal.gz	Mar 15, 2017, 1:43:48 AM	6.89 KiB
	HOL-Nominal-Examples.gz	Mar 15, 2017, 2:19:03 AM	183.97 KiB
	HOL-Nonstandard_Analysis.gz	Mar 15, 2017, 1:44:09 AM	6.83 KiB
	HOL-Nonstandard_Analysis-Examples.gz	Mar 15, 2017, 2:19:26 AM	9.94 KiB
	HOL-Number_Theory.gz	Mar 15, 2017, 2:20:11 AM	22.13 KiB
	HOL-Predicate_Compile_Examples.gz	Mar 15, 2017, 2:21:04 AM	55.90 KiB
	HOL-Probability.gz	Mar 15, 2017, 1:45:33 AM	48.43 KiB
	HOL-Probability-ex.gz	Mar 15, 2017, 2:21:36 AM	7.42 KiB
	HOL-Proofs.gz	Mar 15, 2017, 1:36:45 AM	209.44 KiB
	HOL-Proofs-Extraction.gz	Mar 15, 2017, 2:23:07 AM	22.34 KiB
	HOL-Proofs-Lambda.gz	Mar 15, 2017, 2:25:20 AM	14.41 KiB
	HOL-Quickcheck_Benchmark.gz	Mar 15, 2017, 2:29:17 AM	31.04 KiB
	HOL-Quickcheck_Examples.gz	Mar 15, 2017, 2:30:30 AM	21.78 KiB
	HOL-Quotient_Examples.gz	Mar 15, 2017, 2:31:00 AM	17.71 KiB
	HOL-Record_Benchmark.gz	Mar 15, 2017, 2:32:45 AM	7.24 KiB
	HOL-SET_Protocol.gz	Mar 15, 2017, 2:33:09 AM	8.90 KiB
	HOL-UNITY.gz	Mar 15, 2017, 2:33:33 AM	17.39 KiB
	HOL-Word.gz	Mar 15, 2017, 1:45:53 AM	10.71 KiB
	HOL-Word-SMT_Examples.gz	Mar 15, 2017, 2:34:31 AM	7.58 KiB
	IOA.gz	Mar 15, 2017, 2:34:41 AM	9.18 KiB
	Pure.gz	Mar 15, 2017, 1:27:23 AM	84.73 KiB
	ZF.gz	Mar 15, 2017, 1:46:36 AM	21.52 KiB
	ZF-UNITY.gz	Mar 15, 2017, 2:34:48 AM	8.80 KiB
(all files in zip)