Artifacts of isabelle-nightly-benchmark #153

	HOL.gz	Sep 25, 2016, 12:54:34 AM	211.23 KiB
	HOL-Algebra.gz	Sep 25, 2016, 1:12:21 AM	28.76 KiB
	HOL-Analysis.gz	Sep 25, 2016, 1:07:08 AM	225.21 KiB
	HOL-Auth.gz	Sep 25, 2016, 1:08:22 AM	44.15 KiB
	HOL-Bali.gz	Sep 25, 2016, 1:13:25 AM	46.29 KiB
	HOL-Cardinals.gz	Sep 25, 2016, 1:18:16 AM	23.62 KiB
	HOLCF.gz	Sep 25, 2016, 1:11:15 AM	14.97 KiB
	HOL-Corec_Examples.gz	Sep 25, 2016, 1:21:25 AM	26.01 KiB
	HOL-Data_Structures.gz	Sep 25, 2016, 1:24:17 AM	38.74 KiB
	HOL-Datatype_Benchmark.gz	Sep 25, 2016, 1:33:14 AM	30.43 KiB
	HOL-Datatype_Examples.gz	Sep 25, 2016, 1:34:57 AM	24.95 KiB
	HOL-Decision_Procs.gz	Sep 25, 2016, 1:37:31 AM	74.94 KiB
	HOL-Hoare_Parallel.gz	Sep 25, 2016, 1:38:29 AM	31.21 KiB
	HOL-IMP.gz	Sep 25, 2016, 1:40:06 AM	66.32 KiB
	HOL-Library.gz	Sep 25, 2016, 1:41:50 AM	115.64 KiB
	HOL-Metis_Examples.gz	Sep 25, 2016, 1:42:04 AM	11.54 KiB
	HOL-MicroJava.gz	Sep 25, 2016, 1:43:06 AM	38.10 KiB
	HOL-Nominal.gz	Sep 25, 2016, 1:08:39 AM	6.91 KiB
	HOL-Nominal-Examples.gz	Sep 25, 2016, 1:48:35 AM	181.08 KiB
	HOL-Nonstandard_Analysis.gz	Sep 25, 2016, 1:09:00 AM	6.97 KiB
	HOL-Nonstandard_Analysis-Examples.gz	Sep 25, 2016, 1:48:55 AM	10.37 KiB
	HOL-Number_Theory.gz	Sep 25, 2016, 1:49:26 AM	18.92 KiB
	HOL-Predicate_Compile_Examples.gz	Sep 25, 2016, 1:50:20 AM	50.99 KiB
	HOL-Probability.gz	Sep 25, 2016, 1:10:24 AM	67.03 KiB
	HOL-Probability-ex.gz	Sep 25, 2016, 1:50:47 AM	9.04 KiB
	HOL-Proofs.gz	Sep 25, 2016, 1:02:40 AM	209.36 KiB
	HOL-Proofs-Extraction.gz	Sep 25, 2016, 1:55:13 AM	41.88 KiB
	HOL-Proofs-Lambda.gz	Sep 25, 2016, 1:57:42 AM	18.35 KiB
	HOL-Quickcheck_Benchmark.gz	Sep 25, 2016, 2:01:40 AM	30.66 KiB
	HOL-Quickcheck_Examples.gz	Sep 25, 2016, 2:02:55 AM	21.84 KiB
	HOL-Quotient_Examples.gz	Sep 25, 2016, 2:03:25 AM	15.47 KiB
	HOL-Record_Benchmark.gz	Sep 25, 2016, 2:05:08 AM	8.10 KiB
	HOL-SET_Protocol.gz	Sep 25, 2016, 2:05:28 AM	7.99 KiB
	HOL-UNITY.gz	Sep 25, 2016, 2:05:49 AM	17.33 KiB
	HOL-Word.gz	Sep 25, 2016, 1:10:45 AM	10.67 KiB
	HOL-Word-SMT_Examples.gz	Sep 25, 2016, 2:06:41 AM	7.55 KiB
	IOA.gz	Sep 25, 2016, 2:06:50 AM	9.16 KiB
	Pure.gz	Sep 25, 2016, 12:51:31 AM	84.69 KiB
	ZF.gz	Sep 25, 2016, 1:11:28 AM	21.39 KiB
	ZF-UNITY.gz	Sep 25, 2016, 2:06:56 AM	8.33 KiB
(all files in zip)