Artifacts of isabelle-nightly-benchmark #158

	HOL.gz	Oct 2, 2016, 12:54:42 AM	220.11 KiB
	HOL-Algebra.gz	Oct 2, 2016, 1:12:52 AM	28.26 KiB
	HOL-Analysis.gz	Oct 2, 2016, 1:07:36 AM	236.51 KiB
	HOL-Auth.gz	Oct 2, 2016, 1:08:52 AM	44.29 KiB
	HOL-Bali.gz	Oct 2, 2016, 1:13:56 AM	47.24 KiB
	HOL-Cardinals.gz	Oct 2, 2016, 1:18:46 AM	23.26 KiB
	HOLCF.gz	Oct 2, 2016, 1:11:46 AM	14.88 KiB
	HOL-Corec_Examples.gz	Oct 2, 2016, 1:22:02 AM	26.33 KiB
	HOL-Data_Structures.gz	Oct 2, 2016, 1:24:54 AM	38.91 KiB
	HOL-Datatype_Benchmark.gz	Oct 2, 2016, 1:33:36 AM	29.84 KiB
	HOL-Datatype_Examples.gz	Oct 2, 2016, 1:35:14 AM	24.06 KiB
	HOL-Decision_Procs.gz	Oct 2, 2016, 1:37:47 AM	76.79 KiB
	HOL-Hoare_Parallel.gz	Oct 2, 2016, 1:38:45 AM	31.39 KiB
	HOL-IMP.gz	Oct 2, 2016, 1:40:22 AM	66.83 KiB
	HOL-Library.gz	Oct 2, 2016, 1:42:04 AM	113.39 KiB
	HOL-Metis_Examples.gz	Oct 2, 2016, 1:42:19 AM	11.57 KiB
	HOL-MicroJava.gz	Oct 2, 2016, 1:43:22 AM	38.34 KiB
	HOL-Nominal.gz	Oct 2, 2016, 1:09:09 AM	6.97 KiB
	HOL-Nominal-Examples.gz	Oct 2, 2016, 1:48:51 AM	181.18 KiB
	HOL-Nonstandard_Analysis.gz	Oct 2, 2016, 1:09:31 AM	7.10 KiB
	HOL-Nonstandard_Analysis-Examples.gz	Oct 2, 2016, 1:49:12 AM	10.13 KiB
	HOL-Number_Theory.gz	Oct 2, 2016, 1:49:43 AM	18.82 KiB
	HOL-Predicate_Compile_Examples.gz	Oct 2, 2016, 1:50:36 AM	50.79 KiB
	HOL-Probability.gz	Oct 2, 2016, 1:10:56 AM	67.42 KiB
	HOL-Probability-ex.gz	Oct 2, 2016, 1:51:03 AM	8.84 KiB
	HOL-Proofs.gz	Oct 2, 2016, 1:02:52 AM	213.20 KiB
	HOL-Proofs-Extraction.gz	Oct 2, 2016, 1:55:38 AM	41.98 KiB
	HOL-Proofs-Lambda.gz	Oct 2, 2016, 1:58:08 AM	18.38 KiB
	HOL-Quickcheck_Benchmark.gz	Oct 2, 2016, 2:02:06 AM	30.81 KiB
	HOL-Quickcheck_Examples.gz	Oct 2, 2016, 2:03:21 AM	22.15 KiB
	HOL-Quotient_Examples.gz	Oct 2, 2016, 2:03:51 AM	15.66 KiB
	HOL-Record_Benchmark.gz	Oct 2, 2016, 2:05:36 AM	8.22 KiB
	HOL-SET_Protocol.gz	Oct 2, 2016, 2:05:56 AM	8.07 KiB
	HOL-UNITY.gz	Oct 2, 2016, 2:06:18 AM	17.49 KiB
	HOL-Word.gz	Oct 2, 2016, 1:11:18 AM	10.50 KiB
	HOL-Word-SMT_Examples.gz	Oct 2, 2016, 2:07:10 AM	7.50 KiB
	IOA.gz	Oct 2, 2016, 2:07:19 AM	9.13 KiB
	Pure.gz	Oct 2, 2016, 12:51:33 AM	84.69 KiB
	ZF.gz	Oct 2, 2016, 1:12:00 AM	21.57 KiB
	ZF-UNITY.gz	Oct 2, 2016, 2:07:25 AM	8.13 KiB
(all files in zip)