Artifacts of isabelle-nightly-benchmark #213

	HOL.gz	Dec 22, 2016, 12:55:10 AM	208.57 KiB
	HOL-Algebra.gz	Dec 22, 2016, 1:09:49 AM	24.38 KiB
	HOL-Analysis.gz	Dec 22, 2016, 1:04:45 AM	163.10 KiB
	HOL-Auth.gz	Dec 22, 2016, 1:06:02 AM	44.18 KiB
	HOL-Bali.gz	Dec 22, 2016, 1:10:55 AM	42.47 KiB
	HOL-Cardinals.gz	Dec 22, 2016, 1:11:03 AM	6.52 KiB
	HOLCF.gz	Dec 22, 2016, 1:08:48 AM	13.63 KiB
	HOL-Corec_Examples.gz	Dec 22, 2016, 1:13:35 AM	24.23 KiB
	HOL-Data_Structures.gz	Dec 22, 2016, 1:17:04 AM	35.60 KiB
	HOL-Datatype_Benchmark.gz	Dec 22, 2016, 1:23:59 AM	26.79 KiB
	HOL-Datatype_Examples.gz	Dec 22, 2016, 1:25:20 AM	22.30 KiB
	HOL-Decision_Procs.gz	Dec 22, 2016, 1:28:17 AM	68.71 KiB
	HOL-Hoare_Parallel.gz	Dec 22, 2016, 1:29:17 AM	31.41 KiB
	HOL-IMP.gz	Dec 22, 2016, 1:30:30 AM	45.09 KiB
	HOL-Library.gz	Dec 22, 2016, 1:32:00 AM	96.31 KiB
	HOL-Metis_Examples.gz	Dec 22, 2016, 1:32:14 AM	10.74 KiB
	HOL-MicroJava.gz	Dec 22, 2016, 1:33:20 AM	36.50 KiB
	HOL-Nominal.gz	Dec 22, 2016, 1:06:16 AM	6.69 KiB
	HOL-Nominal-Examples.gz	Dec 22, 2016, 1:38:32 AM	177.61 KiB
	HOL-Nonstandard_Analysis.gz	Dec 22, 2016, 1:06:34 AM	6.40 KiB
	HOL-Nonstandard_Analysis-Examples.gz	Dec 22, 2016, 1:38:53 AM	8.93 KiB
	HOL-Number_Theory.gz	Dec 22, 2016, 1:39:30 AM	19.12 KiB
	HOL-Predicate_Compile_Examples.gz	Dec 22, 2016, 1:40:22 AM	55.26 KiB
	HOL-Probability.gz	Dec 22, 2016, 1:08:05 AM	50.78 KiB
	HOL-Probability-ex.gz	Dec 22, 2016, 1:40:52 AM	7.37 KiB
	HOL-Proofs.gz	Dec 22, 2016, 1:00:38 AM	200.50 KiB
	HOL-Proofs-Extraction.gz	Dec 22, 2016, 1:42:25 AM	21.93 KiB
	HOL-Proofs-Lambda.gz	Dec 22, 2016, 1:44:30 AM	14.11 KiB
	HOL-Quickcheck_Benchmark	Dec 22, 2016, 1:47:56 AM	365.71 KiB
	HOL-Quickcheck_Examples.gz	Dec 22, 2016, 1:49:08 AM	20.65 KiB
	HOL-Quotient_Examples.gz	Dec 22, 2016, 1:49:36 AM	14.53 KiB
	HOL-Record_Benchmark.gz	Dec 22, 2016, 1:51:13 AM	7.85 KiB
	HOL-SET_Protocol.gz	Dec 22, 2016, 1:51:34 AM	8.00 KiB
	HOL-UNITY.gz	Dec 22, 2016, 1:51:57 AM	16.45 KiB
	HOL-Word.gz	Dec 22, 2016, 1:08:23 AM	9.58 KiB
	HOL-Word-SMT_Examples.gz	Dec 22, 2016, 1:52:50 AM	7.50 KiB
	IOA.gz	Dec 22, 2016, 1:52:59 AM	8.49 KiB
	Pure.gz	Dec 22, 2016, 12:52:33 AM	84.76 KiB
	ZF.gz	Dec 22, 2016, 1:08:58 AM	21.31 KiB
	ZF-UNITY.gz	Dec 22, 2016, 1:53:04 AM	8.08 KiB
(all files in zip)