Artifacts of isabelle-nightly-benchmark #283

	HOL.gz	Mar 16, 2017, 12:56:02 AM	214.53 KiB
	HOL-Algebra.gz	Mar 16, 2017, 1:13:11 AM	28.21 KiB
	HOL-Analysis.gz	Mar 16, 2017, 1:07:57 AM	187.03 KiB
	HOL-Auth.gz	Mar 16, 2017, 1:09:12 AM	44.64 KiB
	HOL-Bali.gz	Mar 16, 2017, 1:14:13 AM	39.94 KiB
	HOL-Cardinals.gz	Mar 16, 2017, 1:14:21 AM	6.74 KiB
	HOLCF.gz	Mar 16, 2017, 1:12:01 AM	14.49 KiB
	HOL-Corec_Examples.gz	Mar 16, 2017, 1:17:06 AM	25.53 KiB
	HOL-Data_Structures.gz	Mar 16, 2017, 1:20:55 AM	39.58 KiB
	HOL-Datatype_Benchmark.gz	Mar 16, 2017, 1:27:50 AM	29.30 KiB
	HOL-Datatype_Examples.gz	Mar 16, 2017, 1:29:18 AM	24.00 KiB
	HOL-Decision_Procs.gz	Mar 16, 2017, 1:33:01 AM	79.25 KiB
	HOL-Hoare_Parallel.gz	Mar 16, 2017, 1:34:07 AM	32.51 KiB
	HOL-IMP.gz	Mar 16, 2017, 1:35:19 AM	45.09 KiB
	HOL-Library.gz	Mar 16, 2017, 1:37:00 AM	103.51 KiB
	HOL-Metis_Examples.gz	Mar 16, 2017, 1:37:15 AM	11.23 KiB
	HOL-MicroJava.gz	Mar 16, 2017, 1:38:19 AM	37.75 KiB
	HOL-Nominal.gz	Mar 16, 2017, 1:09:28 AM	7.02 KiB
	HOL-Nominal-Examples.gz	Mar 16, 2017, 1:44:25 AM	182.37 KiB
	HOL-Nonstandard_Analysis.gz	Mar 16, 2017, 1:09:49 AM	6.79 KiB
	HOL-Nonstandard_Analysis-Examples.gz	Mar 16, 2017, 1:44:48 AM	10.06 KiB
	HOL-Number_Theory.gz	Mar 16, 2017, 1:45:33 AM	22.10 KiB
	HOL-Predicate_Compile_Examples.gz	Mar 16, 2017, 1:46:24 AM	55.65 KiB
	HOL-Probability.gz	Mar 16, 2017, 1:11:13 AM	48.35 KiB
	HOL-Probability-ex.gz	Mar 16, 2017, 1:46:56 AM	7.49 KiB
	HOL-Proofs.gz	Mar 16, 2017, 1:02:24 AM	209.05 KiB
	HOL-Proofs-Extraction.gz	Mar 16, 2017, 1:48:27 AM	22.14 KiB
	HOL-Proofs-Lambda.gz	Mar 16, 2017, 1:50:43 AM	14.46 KiB
	HOL-Quickcheck_Benchmark.gz	Mar 16, 2017, 1:54:35 AM	30.68 KiB
	HOL-Quickcheck_Examples.gz	Mar 16, 2017, 1:55:49 AM	21.81 KiB
	HOL-Quotient_Examples.gz	Mar 16, 2017, 1:56:18 AM	17.58 KiB
	HOL-Record_Benchmark.gz	Mar 16, 2017, 1:58:05 AM	7.39 KiB
	HOL-SET_Protocol.gz	Mar 16, 2017, 1:58:29 AM	9.00 KiB
	HOL-UNITY.gz	Mar 16, 2017, 1:58:53 AM	17.30 KiB
	HOL-Word.gz	Mar 16, 2017, 1:11:33 AM	10.89 KiB
	HOL-Word-SMT_Examples.gz	Mar 16, 2017, 1:59:52 AM	7.65 KiB
	IOA.gz	Mar 16, 2017, 2:00:02 AM	9.24 KiB
	Pure.gz	Mar 16, 2017, 12:53:02 AM	84.73 KiB
	ZF.gz	Mar 16, 2017, 1:12:14 AM	21.40 KiB
	ZF-UNITY.gz	Mar 16, 2017, 2:00:09 AM	8.74 KiB
(all files in zip)