Artifacts of isabelle-nightly-benchmark #176

	HOL.gz	Oct 21, 2016, 12:54:51 AM	205.93 KiB
	HOL-Algebra.gz	Oct 21, 2016, 1:10:20 AM	24.52 KiB
	HOL-Analysis.gz	Oct 21, 2016, 1:05:45 AM	165.25 KiB
	HOL-Auth.gz	Oct 21, 2016, 1:06:50 AM	42.88 KiB
	HOL-Bali.gz	Oct 21, 2016, 1:11:15 AM	40.03 KiB
	HOL-Cardinals.gz	Oct 21, 2016, 1:11:22 AM	6.41 KiB
	HOLCF.gz	Oct 21, 2016, 1:09:18 AM	13.89 KiB
	HOL-Corec_Examples.gz	Oct 21, 2016, 1:14:07 AM	25.32 KiB
	HOL-Data_Structures.gz	Oct 21, 2016, 1:16:42 AM	32.52 KiB
	HOL-Datatype_Benchmark.gz	Oct 21, 2016, 1:23:48 AM	27.71 KiB
	HOL-Datatype_Examples.gz	Oct 21, 2016, 1:25:13 AM	23.01 KiB
	HOL-Decision_Procs.gz	Oct 21, 2016, 1:27:17 AM	66.37 KiB
	HOL-Hoare_Parallel.gz	Oct 21, 2016, 1:28:14 AM	31.14 KiB
	HOL-IMP.gz	Oct 21, 2016, 1:29:34 AM	62.67 KiB
	HOL-Library.gz	Oct 21, 2016, 1:30:52 AM	97.67 KiB
	HOL-Metis_Examples.gz	Oct 21, 2016, 1:31:05 AM	10.82 KiB
	HOL-MicroJava.gz	Oct 21, 2016, 1:32:03 AM	35.32 KiB
	HOL-Nominal.gz	Oct 21, 2016, 1:07:04 AM	6.71 KiB
	HOL-Nominal-Examples.gz	Oct 21, 2016, 1:36:58 AM	175.29 KiB
	HOL-Nonstandard_Analysis.gz	Oct 21, 2016, 1:07:22 AM	6.46 KiB
	HOL-Nonstandard_Analysis-Examples.gz	Oct 21, 2016, 1:37:19 AM	9.09 KiB
	HOL-Number_Theory.gz	Oct 21, 2016, 1:37:52 AM	18.31 KiB
	HOL-Predicate_Compile_Examples.gz	Oct 21, 2016, 1:38:42 AM	50.40 KiB
	HOL-Probability.gz	Oct 21, 2016, 1:08:34 AM	49.99 KiB
	HOL-Probability-ex.gz	Oct 21, 2016, 1:39:09 AM	7.46 KiB
	HOL-Proofs.gz	Oct 21, 2016, 1:02:10 AM	208.73 KiB
	HOL-Proofs-Extraction.gz	Oct 21, 2016, 1:43:34 AM	34.50 KiB
	HOL-Proofs-Lambda.gz	Oct 21, 2016, 1:46:02 AM	17.52 KiB
	HOL-Quickcheck_Benchmark	Oct 21, 2016, 1:49:38 AM	375.30 KiB
	HOL-Quickcheck_Examples.gz	Oct 21, 2016, 1:50:49 AM	20.98 KiB
	HOL-Quotient_Examples.gz	Oct 21, 2016, 1:51:17 AM	14.51 KiB
	HOL-Record_Benchmark.gz	Oct 21, 2016, 1:52:50 AM	7.32 KiB
	HOL-SET_Protocol.gz	Oct 21, 2016, 1:53:09 AM	8.00 KiB
	HOL-UNITY.gz	Oct 21, 2016, 1:53:29 AM	16.26 KiB
	HOL-Word.gz	Oct 21, 2016, 1:08:52 AM	10.07 KiB
	HOL-Word-SMT_Examples.gz	Oct 21, 2016, 1:54:21 AM	7.54 KiB
	IOA.gz	Oct 21, 2016, 1:54:29 AM	8.80 KiB
	Pure.gz	Oct 21, 2016, 12:52:13 AM	84.44 KiB
	ZF.gz	Oct 21, 2016, 1:09:29 AM	21.22 KiB
	ZF-UNITY.gz	Oct 21, 2016, 1:54:35 AM	8.04 KiB
(all files in zip)