Artifacts of isabelle-nightly-benchmark #284

	HOL.gz	Mar 17, 2017, 12:56:20 AM	214.29 KiB
	HOL-Algebra.gz	Mar 17, 2017, 1:13:23 AM	27.98 KiB
	HOL-Analysis.gz	Mar 17, 2017, 1:08:09 AM	187.49 KiB
	HOL-Auth.gz	Mar 17, 2017, 1:09:25 AM	43.90 KiB
	HOL-Bali.gz	Mar 17, 2017, 1:14:25 AM	40.22 KiB
	HOL-Cardinals.gz	Mar 17, 2017, 1:14:34 AM	6.68 KiB
	HOLCF.gz	Mar 17, 2017, 1:12:13 AM	14.26 KiB
	HOL-Corec_Examples.gz	Mar 17, 2017, 1:17:18 AM	25.33 KiB
	HOL-Data_Structures.gz	Mar 17, 2017, 1:21:01 AM	38.63 KiB
	HOL-Datatype_Benchmark.gz	Mar 17, 2017, 1:28:08 AM	29.87 KiB
	HOL-Datatype_Examples.gz	Mar 17, 2017, 1:29:37 AM	24.30 KiB
	HOL-Decision_Procs.gz	Mar 17, 2017, 1:33:20 AM	79.09 KiB
	HOL-Hoare_Parallel.gz	Mar 17, 2017, 1:34:26 AM	32.10 KiB
	HOL-IMP.gz	Mar 17, 2017, 1:35:37 AM	44.67 KiB
	HOL-Library.gz	Mar 17, 2017, 1:37:18 AM	102.95 KiB
	HOL-Metis_Examples.gz	Mar 17, 2017, 1:37:32 AM	11.21 KiB
	HOL-MicroJava.gz	Mar 17, 2017, 1:38:37 AM	37.37 KiB
	HOL-Nominal.gz	Mar 17, 2017, 1:09:40 AM	6.86 KiB
	HOL-Nominal-Examples.gz	Mar 17, 2017, 1:44:38 AM	183.50 KiB
	HOL-Nonstandard_Analysis.gz	Mar 17, 2017, 1:10:01 AM	6.75 KiB
	HOL-Nonstandard_Analysis-Examples.gz	Mar 17, 2017, 1:45:01 AM	9.88 KiB
	HOL-Number_Theory.gz	Mar 17, 2017, 1:45:46 AM	21.96 KiB
	HOL-Predicate_Compile_Examples.gz	Mar 17, 2017, 1:46:39 AM	56.22 KiB
	HOL-Probability.gz	Mar 17, 2017, 1:11:25 AM	48.33 KiB
	HOL-Probability-ex.gz	Mar 17, 2017, 1:47:10 AM	7.47 KiB
	HOL-Proofs.gz	Mar 17, 2017, 1:02:42 AM	208.93 KiB
	HOL-Proofs-Extraction.gz	Mar 17, 2017, 1:48:42 AM	22.41 KiB
	HOL-Proofs-Lambda.gz	Mar 17, 2017, 1:50:57 AM	14.49 KiB
	HOL-Quickcheck_Benchmark.gz	Mar 17, 2017, 1:54:39 AM	29.34 KiB
	HOL-Quickcheck_Examples.gz	Mar 17, 2017, 1:55:51 AM	21.79 KiB
	HOL-Quotient_Examples.gz	Mar 17, 2017, 1:56:20 AM	17.42 KiB
	HOL-Record_Benchmark.gz	Mar 17, 2017, 1:58:08 AM	7.35 KiB
	HOL-SET_Protocol.gz	Mar 17, 2017, 1:58:33 AM	8.85 KiB
	HOL-UNITY.gz	Mar 17, 2017, 1:58:57 AM	17.31 KiB
	HOL-Word.gz	Mar 17, 2017, 1:11:45 AM	10.66 KiB
	HOL-Word-SMT_Examples.gz	Mar 17, 2017, 1:59:55 AM	7.59 KiB
	IOA.gz	Mar 17, 2017, 2:00:05 AM	9.33 KiB
	Pure.gz	Mar 17, 2017, 12:53:23 AM	84.75 KiB
	ZF.gz	Mar 17, 2017, 1:12:26 AM	21.50 KiB
	ZF-UNITY.gz	Mar 17, 2017, 2:00:12 AM	8.73 KiB
(all files in zip)