Artifacts of isabelle-repo-afp #836

	Abortable_Linearizable_Modules.db	Apr 6, 2017, 8:37:10 PM	10.00 KiB
	Abortable_Linearizable_Modules.gz	Apr 6, 2017, 8:37:10 PM	3.78 KiB
	Abs_Int_ITP2012.db	Apr 7, 2017, 9:17:37 AM	11.00 KiB
	Abs_Int_ITP2012.gz	Apr 7, 2017, 9:17:37 AM	11.47 KiB
	Abstract_Completeness.db	Apr 6, 2017, 7:55:09 PM	11.00 KiB
	Abstract_Completeness.gz	Apr 6, 2017, 7:55:09 PM	12.70 KiB
	Abstract_Soundness.db	Apr 6, 2017, 8:45:13 PM	6.00 KiB
	Abstract_Soundness.gz	Apr 6, 2017, 8:45:13 PM	6.06 KiB
	Abstract-Hoare-Logics.db	Apr 6, 2017, 8:46:09 PM	7.00 KiB
	Abstract-Hoare-Logics.gz	Apr 6, 2017, 8:46:09 PM	19.74 KiB
	Abstract-Rewriting.db	Apr 6, 2017, 7:27:45 PM	10.00 KiB
	Abstract-Rewriting.gz	Apr 6, 2017, 7:27:45 PM	6.90 KiB
	Affine_Arithmetic.db	Apr 7, 2017, 9:09:34 AM	29.00 KiB
	Affine_Arithmetic.gz	Apr 7, 2017, 9:09:34 AM	65.55 KiB
	Akra_Bazzi.db	Apr 7, 2017, 9:17:02 AM	19.00 KiB
	Akra_Bazzi.gz	Apr 7, 2017, 9:17:02 AM	24.93 KiB
	Algebraic_Numbers_Lib.db	Apr 7, 2017, 9:20:17 AM	14.00 KiB
	Algebraic_Numbers_Lib.gz	Apr 7, 2017, 9:20:16 AM	1.47 KiB
	Algebraic_Numbers.db	Apr 7, 2017, 9:15:56 AM	27.00 KiB
	Algebraic_Numbers.gz	Apr 7, 2017, 9:15:56 AM	28.97 KiB
	Algebraic_VCs.db	Apr 6, 2017, 8:18:32 PM	27.00 KiB
	Algebraic_VCs.gz	Apr 6, 2017, 8:18:32 PM	10.74 KiB
	Allen_Calculus.db	Apr 6, 2017, 8:25:15 PM	15.00 KiB
	Allen_Calculus.gz	Apr 6, 2017, 8:25:15 PM	8.40 KiB
	Amortized_Complexity.db	Apr 7, 2017, 8:56:17 AM	15.00 KiB
	Amortized_Complexity.gz	Apr 7, 2017, 8:56:17 AM	6.38 KiB
	Applicative_Lifting.db	Apr 7, 2017, 9:09:21 AM	10.00 KiB
	Applicative_Lifting.gz	Apr 7, 2017, 9:09:21 AM	11.01 KiB
	ArrowImpossibilityGS.db	Apr 7, 2017, 9:23:11 AM	5.00 KiB
	ArrowImpossibilityGS.gz	Apr 7, 2017, 9:23:11 AM	2.62 KiB
	AutoFocus-Stream.db	Apr 7, 2017, 9:19:08 AM	13.00 KiB
	AutoFocus-Stream.gz	Apr 7, 2017, 9:19:08 AM	32.54 KiB
	Automatic_Refinement.db	Apr 6, 2017, 7:50:43 PM	17.00 KiB
	Automatic_Refinement.gz	Apr 6, 2017, 7:50:43 PM	12.42 KiB
	AVL-Trees.db	Apr 6, 2017, 8:45:07 PM	5.00 KiB
	AVL-Trees.gz	Apr 6, 2017, 8:45:07 PM	3.70 KiB
	AWN.db	Apr 6, 2017, 8:33:43 PM	16.00 KiB
	AWN.gz	Apr 6, 2017, 8:33:43 PM	30.02 KiB
	BDD.db	Apr 6, 2017, 8:37:33 PM	14.00 KiB
	BDD.gz	Apr 6, 2017, 8:37:33 PM	5.05 KiB
	Bell_Numbers_Spivey.db	Apr 7, 2017, 8:58:51 AM	6.00 KiB
	Bell_Numbers_Spivey.gz	Apr 7, 2017, 8:58:51 AM	3.25 KiB
	Berlekamp_Zassenhaus.db	Apr 7, 2017, 9:08:13 AM	31.00 KiB
	Berlekamp_Zassenhaus.gz	Apr 7, 2017, 9:08:13 AM	97.41 KiB
	Bernoulli.db	Apr 7, 2017, 9:23:25 AM	10.00 KiB
	Bernoulli.gz	Apr 7, 2017, 9:23:25 AM	29.56 KiB
	Bertrands_Postulate.db	Apr 7, 2017, 8:49:11 AM	16.00 KiB
	Bertrands_Postulate.gz	Apr 7, 2017, 8:49:11 AM	8.08 KiB
	BinarySearchTree.db	Apr 6, 2017, 8:48:39 PM	4.00 KiB
	BinarySearchTree.gz	Apr 6, 2017, 8:48:39 PM	2.43 KiB
	Binomial-Heaps.db	Apr 7, 2017, 9:21:55 AM	7.00 KiB
	Binomial-Heaps.gz	Apr 7, 2017, 9:21:55 AM	11.18 KiB
	Binomial-Queues.db	Apr 6, 2017, 8:48:14 PM	5.00 KiB
	Binomial-Queues.gz	Apr 6, 2017, 8:48:14 PM	3.89 KiB
	Bondy.db	Apr 6, 2017, 8:49:05 PM	4.00 KiB
	Bondy.gz	Apr 6, 2017, 8:49:05 PM	1.82 KiB
	Boolean_Expression_Checkers.db	Apr 7, 2017, 9:21:52 AM	5.00 KiB
	Boolean_Expression_Checkers.gz	Apr 7, 2017, 9:21:52 AM	3.40 KiB
	Bounded_Deducibility_Security.db	Apr 6, 2017, 8:48:09 PM	5.00 KiB
	Bounded_Deducibility_Security.gz	Apr 6, 2017, 8:48:09 PM	2.64 KiB
	Buildings.db	Apr 7, 2017, 9:12:19 AM	20.00 KiB
	Buildings.gz	Apr 7, 2017, 9:12:18 AM	9.95 KiB
	BytecodeLogicJmlTypes.db	Apr 6, 2017, 8:30:15 PM	15.00 KiB
	BytecodeLogicJmlTypes.gz	Apr 6, 2017, 8:30:15 PM	37.04 KiB
	Call_Arity.db	Apr 6, 2017, 8:33:47 PM	19.00 KiB
	Call_Arity.gz	Apr 6, 2017, 8:33:47 PM	38.62 KiB
	Card_Equiv_Relations.db	Apr 7, 2017, 9:23:25 AM	4.00 KiB
	Card_Equiv_Relations.gz	Apr 7, 2017, 9:23:25 AM	2.11 KiB
	Card_Multisets.db	Apr 7, 2017, 9:23:22 AM	4.00 KiB
	Card_Multisets.gz	Apr 7, 2017, 9:23:22 AM	2.01 KiB
	Card_Number_Partitions.db	Apr 6, 2017, 8:46:36 PM	7.00 KiB
	Card_Number_Partitions.gz	Apr 6, 2017, 8:46:36 PM	8.90 KiB
	Card_Partitions.db	Apr 6, 2017, 8:48:15 PM	5.00 KiB
	Card_Partitions.gz	Apr 6, 2017, 8:48:15 PM	2.49 KiB
	Cartan_FP.db	Apr 7, 2017, 9:23:21 AM	4.00 KiB
	Cartan_FP.gz	Apr 7, 2017, 9:23:21 AM	2.87 KiB
	Case_Labeling.db	Apr 6, 2017, 8:48:25 PM	5.00 KiB
	Case_Labeling.gz	Apr 6, 2017, 8:48:25 PM	5.58 KiB
	Catalan_Numbers.db	Apr 7, 2017, 9:22:18 AM	8.00 KiB
	Catalan_Numbers.gz	Apr 7, 2017, 9:22:18 AM	4.87 KiB
	Category.db	Apr 7, 2017, 9:23:19 AM	4.00 KiB
	Category.gz	Apr 7, 2017, 9:23:19 AM	3.32 KiB
	Category2.db	Apr 7, 2017, 9:21:55 AM	7.00 KiB
	Category2.gz	Apr 7, 2017, 9:21:55 AM	27.62 KiB
	Category3.db	Apr 7, 2017, 9:13:37 AM	75.00 KiB
	Category3.gz	Apr 7, 2017, 9:13:37 AM	9.78 KiB
	Cauchy.db	Apr 6, 2017, 7:57:19 PM	4.00 KiB
	Cauchy.gz	Apr 6, 2017, 7:57:19 PM	2.81 KiB
	CAVA_Automata.db	Apr 6, 2017, 8:09:18 PM	11.00 KiB
	CAVA_Automata.gz	Apr 6, 2017, 8:09:18 PM	13.42 KiB
	CAVA_Base.db	Apr 6, 2017, 8:07:00 PM	7.00 KiB
	CAVA_Base.gz	Apr 6, 2017, 8:07:00 PM	4.13 KiB
	CAVA_buildchain1.db	Apr 6, 2017, 8:19:15 PM	17.00 KiB
	CAVA_buildchain1.gz	Apr 6, 2017, 8:19:14 PM	5.89 KiB
	CAVA_buildchain3.db	Apr 6, 2017, 8:24:24 PM	16.00 KiB
	CAVA_buildchain3.gz	Apr 6, 2017, 8:24:24 PM	11.19 KiB
	CAVA_LTL_Modelchecker.db	Apr 6, 2017, 8:29:27 PM	18.00 KiB
	CAVA_LTL_Modelchecker.gz	Apr 6, 2017, 8:29:27 PM	32.59 KiB
	Cayley_Hamilton.db	Apr 7, 2017, 9:22:19 AM	7.00 KiB
	Cayley_Hamilton.gz	Apr 7, 2017, 9:22:19 AM	4.16 KiB
	CCS.db	Apr 6, 2017, 8:44:39 PM	7.00 KiB
	CCS.gz	Apr 6, 2017, 8:44:39 PM	10.00 KiB
	Certification_Monads.db	Apr 6, 2017, 8:48:17 PM	5.00 KiB
	Certification_Monads.gz	Apr 6, 2017, 8:48:17 PM	4.10 KiB
	Chord_Segments.db	Apr 7, 2017, 9:22:54 AM	5.00 KiB
	Chord_Segments.gz	Apr 7, 2017, 9:22:54 AM	3.55 KiB
	Circus.db	Apr 6, 2017, 8:40:46 PM	12.00 KiB
	Circus.gz	Apr 6, 2017, 8:40:46 PM	47.26 KiB
	CISC-Kernel.db	Apr 6, 2017, 8:44:25 PM	8.00 KiB
	CISC-Kernel.gz	Apr 6, 2017, 8:44:25 PM	14.55 KiB
	ClockSynchInst.db	Apr 6, 2017, 8:48:35 PM	5.00 KiB
	ClockSynchInst.gz	Apr 6, 2017, 8:48:35 PM	3.09 KiB
	CofGroups.db	Apr 7, 2017, 9:23:28 AM	4.00 KiB
	CofGroups.gz	Apr 7, 2017, 9:23:28 AM	2.79 KiB
	Coinductive_Languages.db	Apr 6, 2017, 8:45:50 PM	6.00 KiB
	Coinductive_Languages.gz	Apr 6, 2017, 8:45:50 PM	4.55 KiB
	Coinductive.db	Apr 7, 2017, 8:53:19 AM	29.00 KiB
	Coinductive.gz	Apr 7, 2017, 8:53:19 AM	66.85 KiB
	Collections_Examples.db	Apr 6, 2017, 8:32:05 PM	13.00 KiB
	Collections_Examples.gz	Apr 6, 2017, 8:32:05 PM	73.33 KiB
	Collections.db	Apr 6, 2017, 8:01:10 PM	54.00 KiB
	Collections.gz	Apr 6, 2017, 8:01:10 PM	189.42 KiB
	Comparison_Sort_Lower_Bound.db	Apr 7, 2017, 9:22:46 AM	5.00 KiB
	Comparison_Sort_Lower_Bound.gz	Apr 7, 2017, 9:22:46 AM	4.37 KiB
	Compiling-Exceptions-Correctly.db	Apr 6, 2017, 8:48:32 PM	4.00 KiB
	Compiling-Exceptions-Correctly.gz	Apr 6, 2017, 8:48:32 PM	2.07 KiB
	Completeness.db	Apr 6, 2017, 8:45:52 PM	8.00 KiB
	Completeness.gz	Apr 6, 2017, 8:45:52 PM	6.41 KiB
	Complx.db	Apr 6, 2017, 8:13:53 PM	26.00 KiB
	Complx.gz	Apr 6, 2017, 8:13:53 PM	98.19 KiB
	ComponentDependencies.db	Apr 6, 2017, 8:36:03 PM	8.00 KiB
	ComponentDependencies.gz	Apr 6, 2017, 8:36:03 PM	5.87 KiB
	Concurrent_Ref_Alg.db	Apr 6, 2017, 8:47:16 PM	6.00 KiB
	Concurrent_Ref_Alg.gz	Apr 6, 2017, 8:47:16 PM	4.97 KiB
	ConcurrentIMP.db	Apr 7, 2017, 9:21:55 AM	6.00 KiB
	ConcurrentIMP.gz	Apr 7, 2017, 9:21:55 AM	5.71 KiB
	Consensus_Refined.db	Apr 6, 2017, 8:35:55 PM	15.00 KiB
	Consensus_Refined.gz	Apr 6, 2017, 8:35:54 PM	25.86 KiB
	Containers.db	Apr 7, 2017, 8:55:12 AM	21.00 KiB
	Containers.gz	Apr 7, 2017, 8:55:12 AM	114.94 KiB
	Containers-Benchmarks.db	Apr 7, 2017, 9:03:08 AM	47.00 KiB
	Containers-Benchmarks.gz	Apr 7, 2017, 9:03:08 AM	105.62 KiB
	CoreC++.db	Apr 7, 2017, 9:03:53 AM	27.00 KiB
	CoreC++.gz	Apr 7, 2017, 9:03:52 AM	85.16 KiB
	CryptoBasedCompositionalProperties.db	Apr 6, 2017, 8:46:50 PM	6.00 KiB
	CryptoBasedCompositionalProperties.gz	Apr 6, 2017, 8:46:50 PM	1.83 KiB
	CYK.db	Apr 6, 2017, 8:48:23 PM	5.00 KiB
	CYK.gz	Apr 6, 2017, 8:48:23 PM	3.08 KiB
	DataRefinementIBP.db	Apr 6, 2017, 8:48:49 PM	5.00 KiB
	DataRefinementIBP.gz	Apr 6, 2017, 8:48:49 PM	3.47 KiB
	Datatype_Order_Generator.db	Apr 7, 2017, 8:57:39 AM	17.00 KiB
	Datatype_Order_Generator.gz	Apr 7, 2017, 8:57:39 AM	7.48 KiB
	Decreasing-Diagrams.db	Apr 6, 2017, 8:43:27 PM	9.00 KiB
	Decreasing-Diagrams.gz	Apr 6, 2017, 8:43:27 PM	20.94 KiB
	Decreasing-Diagrams-II.db	Apr 6, 2017, 8:42:30 PM	11.00 KiB
	Decreasing-Diagrams-II.gz	Apr 6, 2017, 8:42:30 PM	7.09 KiB
	Deep_Learning	Apr 7, 2017, 9:14:34 AM	72.92 KiB
	Deep_Learning_Lib.db	Apr 7, 2017, 9:09:45 AM	30.00 KiB
	Deep_Learning_Lib.gz	Apr 7, 2017, 9:09:45 AM	4.55 KiB
	Deep_Learning.db	Apr 7, 2017, 9:14:34 AM	19.00 KiB
	Density_Compiler.db	Apr 7, 2017, 9:16:28 AM	18.00 KiB
	Density_Compiler.gz	Apr 7, 2017, 9:16:28 AM	63.79 KiB
	Dependent_SIFUM_Refinement.db	Apr 6, 2017, 8:23:13 PM	22.00 KiB
	Dependent_SIFUM_Refinement.gz	Apr 6, 2017, 8:23:13 PM	14.79 KiB
	Dependent_SIFUM_Type_Systems.db	Apr 6, 2017, 7:33:34 PM	24.00 KiB
	Dependent_SIFUM_Type_Systems.gz	Apr 6, 2017, 7:33:34 PM	46.53 KiB
	Depth-First-Search.db	Apr 6, 2017, 8:49:02 PM	4.00 KiB
	Depth-First-Search.gz	Apr 6, 2017, 8:49:02 PM	1.69 KiB
	Derangements.db	Apr 6, 2017, 8:36:46 PM	16.00 KiB
	Derangements.gz	Apr 6, 2017, 8:36:46 PM	7.55 KiB
	Deriving.db	Apr 7, 2017, 8:51:41 AM	10.00 KiB
	Deriving.gz	Apr 7, 2017, 8:51:41 AM	14.48 KiB
	Descartes_Sign_Rule.db	Apr 7, 2017, 9:23:33 AM	6.00 KiB
	Descartes_Sign_Rule.gz	Apr 7, 2017, 9:23:33 AM	7.16 KiB
	DFS_Framework.db	Apr 6, 2017, 8:16:06 PM	30.00 KiB
	DFS_Framework.gz	Apr 6, 2017, 8:16:06 PM	18.63 KiB
	Differential_Dynamic_Logic.db	Apr 7, 2017, 9:13:39 AM	33.00 KiB
	Differential_Dynamic_Logic.gz	Apr 7, 2017, 9:13:39 AM	57.58 KiB
	Dijkstra_Shortest_Path.db	Apr 6, 2017, 8:38:26 PM	10.00 KiB
	Dijkstra_Shortest_Path.gz	Apr 6, 2017, 8:38:26 PM	88.71 KiB
	Discrete_Summation.db	Apr 6, 2017, 7:56:59 PM	4.00 KiB
	Discrete_Summation.gz	Apr 6, 2017, 7:56:59 PM	3.01 KiB
	DiskPaxos.db	Apr 6, 2017, 8:42:32 PM	10.00 KiB
	DiskPaxos.gz	Apr 6, 2017, 8:42:32 PM	4.04 KiB
	DPT-SAT-Solver.db	Apr 6, 2017, 8:48:48 PM	4.00 KiB
	DPT-SAT-Solver.gz	Apr 6, 2017, 8:48:48 PM	3.53 KiB
	Dynamic_Tables.db	Apr 7, 2017, 9:22:44 AM	6.00 KiB
	Dynamic_Tables.gz	Apr 7, 2017, 9:22:44 AM	2.87 KiB
	E_Transcendental.db	Apr 7, 2017, 9:17:54 AM	25.00 KiB
	E_Transcendental.gz	Apr 7, 2017, 9:17:54 AM	7.63 KiB
	Echelon_Form.db	Apr 7, 2017, 9:11:07 AM	43.00 KiB
	Echelon_Form.gz	Apr 7, 2017, 9:11:07 AM	60.14 KiB
	EdmondsKarp_Base.db	Apr 6, 2017, 8:10:48 PM	18.00 KiB
	EdmondsKarp_Base.gz	Apr 6, 2017, 8:10:48 PM	8.94 KiB
	EdmondsKarp_Maxflow.db	Apr 6, 2017, 8:31:01 PM	17.00 KiB
	EdmondsKarp_Maxflow.gz	Apr 6, 2017, 8:31:01 PM	32.03 KiB
	Efficient-Mergesort.db	Apr 7, 2017, 9:22:38 AM	5.00 KiB
	Efficient-Mergesort.gz	Apr 7, 2017, 9:22:38 AM	2.27 KiB
	Elliptic_Curves_Group_Law.db	Apr 7, 2017, 8:47:41 AM	35.00 KiB
	Elliptic_Curves_Group_Law.gz	Apr 7, 2017, 8:47:41 AM	11.87 KiB
	Encodability_Process_Calculi.db	Apr 6, 2017, 8:23:53 PM	21.00 KiB
	Encodability_Process_Calculi.gz	Apr 6, 2017, 8:23:53 PM	4.04 KiB
	Ergodic_Theory.db	Apr 7, 2017, 9:16:31 AM	25.00 KiB
	Ergodic_Theory.gz	Apr 7, 2017, 9:16:31 AM	77.71 KiB
	Euler_MacLaurin.db	Apr 7, 2017, 9:21:26 AM	10.00 KiB
	Euler_MacLaurin.gz	Apr 7, 2017, 9:21:26 AM	6.08 KiB
	Euler_Partition.db	Apr 6, 2017, 8:46:28 PM	8.00 KiB
	Euler_Partition.gz	Apr 6, 2017, 8:46:28 PM	9.22 KiB
	Example-Submission.db	Apr 6, 2017, 8:49:07 PM	3.00 KiB
	Example-Submission.gz	Apr 6, 2017, 8:49:07 PM	1.83 KiB
	Featherweight_OCL.db	Apr 6, 2017, 8:26:51 PM	25.00 KiB
	Featherweight_OCL.gz	Apr 6, 2017, 8:26:51 PM	75.88 KiB
	FeatherweightJava.db	Apr 6, 2017, 8:47:00 PM	6.00 KiB
	FeatherweightJava.gz	Apr 6, 2017, 8:47:00 PM	10.08 KiB
	Fermat3_4.db	Apr 7, 2017, 8:49:47 AM	9.00 KiB
	Fermat3_4.gz	Apr 7, 2017, 8:49:47 AM	5.38 KiB
	FFT.db	Apr 6, 2017, 8:48:59 PM	4.00 KiB
	FFT.gz	Apr 6, 2017, 8:48:59 PM	1.92 KiB
	FileRefinement.db	Apr 6, 2017, 8:47:38 PM	5.00 KiB
	FileRefinement.gz	Apr 6, 2017, 8:47:38 PM	2.20 KiB
	FinFun.db	Apr 6, 2017, 8:48:15 PM	5.00 KiB
	FinFun.gz	Apr 6, 2017, 8:48:15 PM	15.43 KiB
	Finger-Trees.db	Apr 7, 2017, 9:22:20 AM	6.00 KiB
	Finger-Trees.gz	Apr 7, 2017, 9:22:20 AM	15.30 KiB
	Finite_Automata_HF.db	Apr 6, 2017, 8:45:35 PM	7.00 KiB
	Finite_Automata_HF.gz	Apr 6, 2017, 8:45:35 PM	28.82 KiB
	Fisher_Yates.db	Apr 7, 2017, 9:23:13 AM	4.00 KiB
	Fisher_Yates.gz	Apr 7, 2017, 9:23:13 AM	2.35 KiB
	FLP.db	Apr 6, 2017, 8:44:44 PM	7.00 KiB
	FLP.gz	Apr 6, 2017, 8:44:44 PM	4.58 KiB
	FocusStreamsCaseStudies.db	Apr 6, 2017, 8:44:03 PM	9.00 KiB
	FocusStreamsCaseStudies.gz	Apr 6, 2017, 8:44:03 PM	6.35 KiB
	FOL_Harrison.db	Apr 6, 2017, 8:47:11 PM	5.00 KiB
	FOL_Harrison.gz	Apr 6, 2017, 8:47:10 PM	14.18 KiB
	FOL-Fitting.db	Apr 7, 2017, 9:22:24 AM	5.00 KiB
	FOL-Fitting.gz	Apr 7, 2017, 9:22:24 AM	10.95 KiB
	Formal_SSA.db	Apr 6, 2017, 8:10:15 PM	40.00 KiB
	Formal_SSA.gz	Apr 6, 2017, 8:10:15 PM	144.02 KiB
	Formula_Derivatives.db	Apr 7, 2017, 9:02:38 AM	28.00 KiB
	Formula_Derivatives.gz	Apr 7, 2017, 9:02:38 AM	102.38 KiB
	Formula_Derivatives-Examples.db	Apr 7, 2017, 9:19:55 AM	7.00 KiB
	Formula_Derivatives-Examples.gz	Apr 7, 2017, 9:19:55 AM	45.83 KiB
	Free-Boolean-Algebra.db	Apr 7, 2017, 9:23:27 AM	4.00 KiB
	Free-Boolean-Algebra.gz	Apr 7, 2017, 9:23:27 AM	1.94 KiB
	Free-Groups.db	Apr 7, 2017, 8:46:08 AM	25.00 KiB
	Free-Groups.gz	Apr 7, 2017, 8:46:07 AM	9.16 KiB
	Functional-Automata.db	Apr 7, 2017, 9:22:18 AM	6.00 KiB
	Functional-Automata.gz	Apr 7, 2017, 9:22:18 AM	7.22 KiB
	FunWithFunctions.db	Apr 6, 2017, 8:49:00 PM	4.00 KiB
	FunWithFunctions.gz	Apr 6, 2017, 8:49:00 PM	2.00 KiB
	FunWithTilings.db	Apr 6, 2017, 8:43:50 PM	5.00 KiB
	FunWithTilings.gz	Apr 6, 2017, 8:43:50 PM	2.07 KiB
	Gabow_SCC.db	Apr 6, 2017, 8:27:34 PM	16.00 KiB
	Gabow_SCC.gz	Apr 6, 2017, 8:27:34 PM	9.51 KiB
	Gauss_Jordan.db	Apr 7, 2017, 9:16:07 AM	21.00 KiB
	Gauss_Jordan.gz	Apr 7, 2017, 9:16:06 AM	207.58 KiB
	Gauss-Jordan-Elim-Fun.db	Apr 6, 2017, 8:48:49 PM	4.00 KiB
	Gauss-Jordan-Elim-Fun.gz	Apr 6, 2017, 8:48:49 PM	2.12 KiB
	GenClock.db	Apr 6, 2017, 8:48:31 PM	4.00 KiB
	GenClock.gz	Apr 6, 2017, 8:48:31 PM	2.00 KiB
	General-Triangle.db	Apr 6, 2017, 8:49:04 PM	4.00 KiB
	General-Triangle.gz	Apr 6, 2017, 8:49:04 PM	16.70 KiB
	Girth_Chromatic.db	Apr 7, 2017, 9:18:55 AM	14.00 KiB
	Girth_Chromatic.gz	Apr 7, 2017, 9:18:55 AM	7.49 KiB
	GoedelGod.db	Apr 6, 2017, 8:47:54 PM	4.00 KiB
	GoedelGod.gz	Apr 6, 2017, 8:47:54 PM	2.05 KiB
	GPU_Kernel_PL.db	Apr 6, 2017, 8:48:02 PM	5.00 KiB
	GPU_Kernel_PL.gz	Apr 6, 2017, 8:48:02 PM	2.40 KiB
	Graph_Theory.db	Apr 6, 2017, 7:35:41 PM	24.00 KiB
	Graph_Theory.gz	Apr 6, 2017, 7:35:41 PM	51.91 KiB
	GraphMarkingIBP.db	Apr 6, 2017, 8:44:23 PM	8.00 KiB
	GraphMarkingIBP.gz	Apr 6, 2017, 8:44:23 PM	4.72 KiB
	Groebner_Bases.db	Apr 6, 2017, 8:43:10 PM	6.00 KiB
	Groebner_Bases.gz	Apr 6, 2017, 8:43:09 PM	5.05 KiB
	Group-Ring-Module.db	Apr 7, 2017, 8:55:29 AM	54.00 KiB
	Group-Ring-Module.gz	Apr 7, 2017, 8:55:28 AM	24.39 KiB
	Heard_Of.db	Apr 6, 2017, 8:42:34 PM	11.00 KiB
	Heard_Of.gz	Apr 6, 2017, 8:42:34 PM	9.20 KiB
	HereditarilyFinite.db	Apr 6, 2017, 8:46:22 PM	7.00 KiB
	HereditarilyFinite.gz	Apr 6, 2017, 8:46:22 PM	4.40 KiB
	Hermite.db	Apr 7, 2017, 9:19:48 AM	8.00 KiB
	Hermite.gz	Apr 7, 2017, 9:19:48 AM	6.86 KiB
	HOL.db	Apr 6, 2017, 7:26:38 PM	69.00 KiB
	HOL.gz	Apr 6, 2017, 7:26:38 PM	378.87 KiB
	HOL-Algebra.db	Apr 7, 2017, 8:47:18 AM	28.00 KiB
	HOL-Algebra.gz	Apr 7, 2017, 8:47:18 AM	229.86 KiB
	HOL-Analysis.db	Apr 7, 2017, 9:01:51 AM	171.00 KiB
	HOL-Analysis.gz	Apr 7, 2017, 9:01:51 AM	551.68 KiB
	HOL-Cardinals.db	Apr 6, 2017, 7:29:45 PM	10.00 KiB
	HOL-Cardinals.gz	Apr 6, 2017, 7:29:45 PM	638 B
	HOLCF.db	Apr 6, 2017, 7:27:28 PM	10.00 KiB
	HOLCF.gz	Apr 6, 2017, 7:27:28 PM	10.22 KiB
	HOLCF-HOL-Library.db	Apr 6, 2017, 7:56:39 PM	8.00 KiB
	HOLCF-HOL-Library.gz	Apr 6, 2017, 7:56:39 PM	1.91 KiB
	HOLCF-Nominal2.db	Apr 6, 2017, 7:58:18 PM	10.00 KiB
	HOLCF-Nominal2.gz	Apr 6, 2017, 7:58:18 PM	12.29 KiB
	HOL-Imperative_HOL.db	Apr 6, 2017, 7:34:02 PM	20.00 KiB
	HOL-Imperative_HOL.gz	Apr 6, 2017, 7:34:02 PM	13.18 KiB
	HOL-Library.db	Apr 7, 2017, 8:50:00 AM	54.00 KiB
	HOL-Library.gz	Apr 7, 2017, 8:50:00 AM	227.15 KiB
	HOL-Nominal.db	Apr 6, 2017, 7:27:07 PM	5.00 KiB
	HOL-Nominal.gz	Apr 6, 2017, 7:27:07 PM	4.20 KiB
	HOL-Number_Theory.db	Apr 7, 2017, 8:47:41 AM	29.00 KiB
	HOL-Number_Theory.gz	Apr 7, 2017, 8:47:41 AM	34.07 KiB
	HOL-ODE.db	Apr 7, 2017, 9:09:02 AM	3.00 KiB
	HOL-ODE.gz	May 24, 2018, 6:00:58 PM	21 B
	HOL-ODE-Numerics.db	Apr 7, 2017, 9:27:36 AM	62.00 KiB
	HOL-ODE-Numerics.gz	Apr 7, 2017, 9:27:36 AM	14.83 KiB
	HOL-ODE-Refinement.db	Apr 7, 2017, 9:14:43 AM	46.00 KiB
	HOL-ODE-Refinement.gz	Apr 7, 2017, 9:14:43 AM	27.84 KiB
	HOL-Probability.db	Apr 7, 2017, 9:05:59 AM	42.00 KiB
	HOL-Probability.gz	Apr 7, 2017, 9:05:59 AM	181.19 KiB
	HOL-SPARK.db	Apr 6, 2017, 7:58:13 PM	4.00 KiB
	HOL-SPARK.gz	Apr 6, 2017, 7:58:13 PM	1.47 KiB
	HOL-SPARK-Examples.db	Apr 6, 2017, 7:58:55 PM	10.00 KiB
	HOL-SPARK-Examples.gz	Apr 6, 2017, 7:58:55 PM	1.08 KiB
	HOL-Word.db	Apr 6, 2017, 7:27:28 PM	10.00 KiB
	HOL-Word.gz	Apr 6, 2017, 7:27:28 PM	30.53 KiB
	HotelKeyCards.db	Apr 6, 2017, 8:48:13 PM	5.00 KiB
	HotelKeyCards.gz	Apr 6, 2017, 8:48:13 PM	3.90 KiB
	HRB-Slicing.db	Apr 6, 2017, 7:47:57 PM	60.00 KiB
	HRB-Slicing.gz	Apr 6, 2017, 7:47:57 PM	208.15 KiB
	Huffman.db	Apr 6, 2017, 8:47:03 PM	10.00 KiB
	Huffman.gz	Apr 6, 2017, 8:47:03 PM	5.44 KiB
	HyperCTL.db	Apr 6, 2017, 8:44:50 PM	7.00 KiB
	HyperCTL.gz	Apr 6, 2017, 8:44:49 PM	3.81 KiB
	IEEE_Floating_Point.db	Apr 6, 2017, 8:45:30 PM	6.00 KiB
	IEEE_Floating_Point.gz	Apr 6, 2017, 8:45:30 PM	3.59 KiB
	Imperative_Insertion_Sort.db	Apr 6, 2017, 8:48:07 PM	5.00 KiB
	Imperative_Insertion_Sort.gz	Apr 6, 2017, 8:48:07 PM	4.81 KiB
	Impossible_Geometry.db	Apr 6, 2017, 8:47:25 PM	5.00 KiB
	Impossible_Geometry.gz	Apr 6, 2017, 8:47:25 PM	3.80 KiB
	Incompleteness.db	Apr 6, 2017, 7:43:33 PM	65.00 KiB
	Incompleteness.gz	Apr 6, 2017, 7:43:33 PM	65.23 KiB
	Incredible_Proof_Machine.db	Apr 6, 2017, 8:36:23 PM	17.00 KiB
	Incredible_Proof_Machine.gz	Apr 6, 2017, 8:36:23 PM	13.25 KiB
	Inductive_Confidentiality.db	Apr 6, 2017, 8:46:16 PM	7.00 KiB
	Inductive_Confidentiality.gz	Apr 6, 2017, 8:46:16 PM	7.39 KiB
	InformationFlowSlicing_Inter.db	Apr 6, 2017, 8:43:34 PM	8.00 KiB
	InformationFlowSlicing_Inter.gz	Apr 6, 2017, 8:43:34 PM	14.55 KiB
	InformationFlowSlicing.db	Apr 6, 2017, 8:47:38 PM	6.00 KiB
	InformationFlowSlicing.gz	Apr 6, 2017, 8:47:37 PM	8.05 KiB
	InfPathElimination.db	Apr 6, 2017, 8:25:50 PM	14.00 KiB
	InfPathElimination.gz	Apr 6, 2017, 8:25:50 PM	7.33 KiB
	Integration.db	Apr 6, 2017, 8:46:54 PM	6.00 KiB
	Integration.gz	Apr 6, 2017, 8:46:54 PM	6.68 KiB
	IP_Addresses.db	Apr 6, 2017, 7:37:46 PM	31.00 KiB
	IP_Addresses.gz	Apr 6, 2017, 7:37:46 PM	56.87 KiB
	Iptables_Semantics.db	Apr 6, 2017, 8:03:06 PM	37.00 KiB
	Iptables_Semantics.gz	Apr 6, 2017, 8:03:06 PM	276.07 KiB
	Isabelle_Meta_Model.db	Apr 7, 2017, 9:15:21 AM	17.00 KiB
	Isabelle_Meta_Model.gz	Apr 7, 2017, 9:15:21 AM	150.13 KiB
	Jinja.db	Apr 6, 2017, 7:35:06 PM	43.00 KiB
	Jinja.gz	Apr 6, 2017, 7:35:06 PM	44.00 KiB
	JiveDataStoreModel.db	Apr 6, 2017, 8:46:40 PM	6.00 KiB
	JiveDataStoreModel.gz	Apr 6, 2017, 8:46:40 PM	4.81 KiB
	JNF-AFP-Lib.db	Apr 7, 2017, 8:54:06 AM	34.00 KiB
	JNF-AFP-Lib.gz	Apr 7, 2017, 8:54:06 AM	21.92 KiB
	JNF-HOL-Lib.db	Apr 7, 2017, 8:49:44 AM	18.00 KiB
	JNF-HOL-Lib.gz	Apr 7, 2017, 8:49:44 AM	6.89 KiB
	Jordan_Hoelder.db	Apr 7, 2017, 8:49:45 AM	10.00 KiB
	Jordan_Hoelder.gz	Apr 7, 2017, 8:49:45 AM	28.35 KiB
	Jordan_Normal_Form.db	Apr 7, 2017, 9:01:33 AM	38.00 KiB
	Jordan_Normal_Form.gz	Apr 7, 2017, 9:01:33 AM	35.85 KiB
	KAD.db	Apr 6, 2017, 8:25:01 PM	18.00 KiB
	KAD.gz	Apr 6, 2017, 8:25:01 PM	10.60 KiB
	KAT_and_DRA.db	Apr 6, 2017, 7:53:17 PM	10.00 KiB
	KAT_and_DRA.gz	Apr 6, 2017, 7:53:17 PM	7.26 KiB
	KBPs.db	Apr 7, 2017, 9:04:20 AM	22.00 KiB
	KBPs.gz	Apr 7, 2017, 9:04:20 AM	26.18 KiB
	Key_Agreement_Strong_Adversaries.db	Apr 6, 2017, 8:07:33 PM	37.00 KiB
	Key_Agreement_Strong_Adversaries.gz	Apr 6, 2017, 8:07:32 PM	21.44 KiB
	Kleene_Algebra.db	Apr 6, 2017, 7:29:02 PM	12.00 KiB
	Kleene_Algebra.gz	Apr 6, 2017, 7:29:02 PM	11.30 KiB
	Knot_Theory.db	Apr 7, 2017, 8:47:52 AM	17.00 KiB
	Knot_Theory.gz	Apr 7, 2017, 8:47:52 AM	68.46 KiB
	Koenigsberg_Friendship_Base.db	Apr 7, 2017, 8:47:49 AM	31.00 KiB
	Koenigsberg_Friendship_Base.gz	Apr 7, 2017, 8:47:49 AM	5.41 KiB
	Koenigsberg_Friendship.db	Apr 7, 2017, 8:49:18 AM	13.00 KiB
	Koenigsberg_Friendship.gz	Apr 7, 2017, 8:49:18 AM	22.24 KiB
	Lambda_Free_KBOs.db	Apr 6, 2017, 8:40:56 PM	15.00 KiB
	Lambda_Free_KBOs.gz	Apr 6, 2017, 8:40:55 PM	5.90 KiB
	Lambda_Free_RPOs.db	Apr 6, 2017, 8:41:46 PM	13.00 KiB
	Lambda_Free_RPOs.gz	Apr 6, 2017, 8:41:46 PM	6.98 KiB
	Lam-ml-Normalization.db	Apr 6, 2017, 8:47:24 PM	5.00 KiB
	Lam-ml-Normalization.gz	Apr 6, 2017, 8:47:24 PM	16.99 KiB
	Landau_Analysis.db	Apr 7, 2017, 9:03:30 AM	7.00 KiB
	Landau_Analysis.gz	Apr 7, 2017, 9:03:30 AM	2.04 KiB
	Landau_Symbols.db	Apr 7, 2017, 9:22:29 AM	7.00 KiB
	Landau_Symbols.gz	Apr 7, 2017, 9:22:29 AM	24.29 KiB
	Latin_Square.db	Apr 6, 2017, 8:48:08 PM	5.00 KiB
	Latin_Square.gz	Apr 6, 2017, 8:48:08 PM	2.78 KiB
	LatticeProperties.db	Apr 6, 2017, 7:29:26 PM	5.00 KiB
	LatticeProperties.gz	Apr 6, 2017, 7:29:26 PM	3.96 KiB
	Launchbury.db	Apr 6, 2017, 7:59:57 PM	13.00 KiB
	Launchbury.gz	Apr 6, 2017, 7:59:57 PM	24.67 KiB
	Lazy-Lists-II.db	Apr 7, 2017, 8:58:38 AM	4.00 KiB
	Lazy-Lists-II.gz	Apr 7, 2017, 8:58:38 AM	3.04 KiB
	Lehmer.db	Apr 7, 2017, 8:48:05 AM	4.00 KiB
	Lehmer.gz	Apr 7, 2017, 8:48:05 AM	2.28 KiB
	Lifting_Definition_Option.db	Apr 6, 2017, 8:48:54 PM	4.00 KiB
	Lifting_Definition_Option.gz	Apr 6, 2017, 8:48:54 PM	5.58 KiB
	LightweightJava.db	Apr 6, 2017, 8:41:48 PM	13.00 KiB
	LightweightJava.gz	Apr 6, 2017, 8:41:48 PM	3.41 KiB
	LinearQuantifierElim.db	Apr 7, 2017, 9:18:28 AM	12.00 KiB
	LinearQuantifierElim.gz	Apr 7, 2017, 9:18:28 AM	5.33 KiB
	Liouville_Numbers.db	Apr 7, 2017, 8:50:04 AM	7.00 KiB
	Liouville_Numbers.gz	Apr 7, 2017, 8:50:04 AM	3.41 KiB
	List_Interleaving.db	Apr 6, 2017, 8:48:43 PM	4.00 KiB
	List_Interleaving.gz	Apr 6, 2017, 8:48:43 PM	2.33 KiB
	List_Update.db	Apr 7, 2017, 9:15:54 AM	29.00 KiB
	List_Update.gz	Apr 7, 2017, 9:15:54 AM	40.58 KiB
	List-Index.db	Apr 6, 2017, 8:48:54 PM	4.00 KiB
	List-Index.gz	Apr 6, 2017, 8:48:54 PM	1.83 KiB
	List-Infinite.db	Apr 7, 2017, 8:58:50 AM	11.00 KiB
	List-Infinite.gz	Apr 7, 2017, 8:58:50 AM	30.79 KiB
	Locally-Nameless-Sigma.db	Apr 6, 2017, 8:42:31 PM	10.00 KiB
	Locally-Nameless-Sigma.gz	Apr 6, 2017, 8:42:31 PM	23.20 KiB
	LOFT.db	Apr 6, 2017, 8:23:01 PM	16.00 KiB
	LOFT.gz	Apr 6, 2017, 8:23:01 PM	61.75 KiB
	Lower_Semicontinuous.db	Apr 7, 2017, 9:22:54 AM	5.00 KiB
	Lower_Semicontinuous.gz	Apr 7, 2017, 9:22:54 AM	4.10 KiB
	Lp.db	Apr 7, 2017, 9:21:05 AM	11.00 KiB
	Lp.gz	Apr 7, 2017, 9:21:05 AM	27.97 KiB
	LTL_to_DRA.db	Apr 7, 2017, 9:14:44 AM	22.00 KiB
	LTL_to_DRA.gz	Apr 7, 2017, 9:14:44 AM	80.96 KiB
	LTL_to_GBA.db	Apr 6, 2017, 8:15:31 PM	28.00 KiB
	LTL_to_GBA.gz	Apr 6, 2017, 8:15:31 PM	18.60 KiB
	LTL.db	Apr 7, 2017, 8:51:22 AM	7.00 KiB
	LTL.gz	Apr 7, 2017, 8:51:22 AM	5.84 KiB
	Markov_Models.db	Apr 7, 2017, 9:12:52 AM	30.00 KiB
	Markov_Models.gz	Apr 7, 2017, 9:12:52 AM	75.33 KiB
	Marriage.db	Apr 6, 2017, 7:57:11 PM	4.00 KiB
	Marriage.gz	Apr 6, 2017, 7:57:11 PM	1.99 KiB
	Matrix_Tensor.db	Apr 6, 2017, 7:54:12 PM	8.00 KiB
	Matrix_Tensor.gz	Apr 6, 2017, 7:54:12 PM	50.72 KiB
	Matrix.db	Apr 6, 2017, 7:49:31 PM	13.00 KiB
	Matrix.gz	Apr 6, 2017, 7:49:31 PM	11.65 KiB
	Max-Card-Matching.db	Apr 6, 2017, 8:48:56 PM	4.00 KiB
	Max-Card-Matching.gz	Apr 6, 2017, 8:48:56 PM	3.07 KiB
	Menger.db	Apr 6, 2017, 8:47:22 PM	6.00 KiB
	Menger.gz	Apr 6, 2017, 8:47:22 PM	4.65 KiB
	MFMC_Countable.db	Apr 7, 2017, 9:19:13 AM	16.00 KiB
	MFMC_Countable.gz	Apr 7, 2017, 9:19:13 AM	77.42 KiB
	Minimal_SSA.db	Apr 6, 2017, 8:48:04 PM	5.00 KiB
	Minimal_SSA.gz	Apr 6, 2017, 8:48:04 PM	6.45 KiB
	MiniML.db	Apr 6, 2017, 8:47:00 PM	5.00 KiB
	MiniML.gz	Apr 6, 2017, 8:47:00 PM	6.40 KiB
	Modal_Logics_for_NTS.db	Apr 6, 2017, 8:22:10 PM	27.00 KiB
	Modal_Logics_for_NTS.gz	Apr 6, 2017, 8:22:10 PM	25.57 KiB
	MonoBoolTranAlgebra.db	Apr 6, 2017, 8:47:51 PM	5.00 KiB
	MonoBoolTranAlgebra.gz	Apr 6, 2017, 8:47:51 PM	5.24 KiB
	MSO_Examples.db	Apr 7, 2017, 9:18:52 AM	7.00 KiB
	MSO_Examples.gz	Apr 7, 2017, 9:18:52 AM	124 B
	MSO_Regex_Equivalence.db	Apr 7, 2017, 9:01:34 AM	41.00 KiB
	MSO_Regex_Equivalence.gz	Apr 7, 2017, 9:01:34 AM	34.04 KiB
	MuchAdoAboutTwo.db	Apr 7, 2017, 9:23:00 AM	5.00 KiB
	MuchAdoAboutTwo.gz	Apr 7, 2017, 9:23:00 AM	2.40 KiB
	Multirelations.db	Apr 6, 2017, 8:32:08 PM	12.00 KiB
	Multirelations.gz	Apr 6, 2017, 8:32:08 PM	7.75 KiB
	Myhill-Nerode.db	Apr 7, 2017, 9:21:24 AM	9.00 KiB
	Myhill-Nerode.gz	Apr 7, 2017, 9:21:24 AM	9.80 KiB
	Nat-Interval-Logic.db	Apr 7, 2017, 9:00:15 AM	11.00 KiB
	Nat-Interval-Logic.gz	Apr 7, 2017, 9:00:15 AM	16.04 KiB
	Native_Word.db	Apr 6, 2017, 8:22:26 PM	16.00 KiB
	Native_Word.gz	Apr 6, 2017, 8:22:26 PM	98.48 KiB
	Nested_Multisets_Ordinals.db	Apr 6, 2017, 7:57:55 PM	14.00 KiB
	Nested_Multisets_Ordinals.gz	Apr 6, 2017, 7:57:55 PM	8.00 KiB
	Network_Security_Policy_Verification.db	Apr 6, 2017, 8:08:02 PM	49.00 KiB
	Network_Security_Policy_Verification.gz	Apr 6, 2017, 8:08:02 PM	151.54 KiB
	No_FTL_observers.db	Apr 6, 2017, 8:19:59 PM	16.00 KiB
	No_FTL_observers.gz	Apr 6, 2017, 8:19:59 PM	10.41 KiB
	Nominal2.db	Apr 6, 2017, 7:30:35 PM	13.00 KiB
	Nominal2.gz	Apr 6, 2017, 7:30:35 PM	47.37 KiB
	Noninterference_Concurrent_Composition.db	Apr 6, 2017, 8:47:36 PM	6.00 KiB
	Noninterference_Concurrent_Composition.gz	Apr 6, 2017, 8:47:36 PM	3.39 KiB
	Noninterference_CSP.db	Apr 6, 2017, 7:58:16 PM	5.00 KiB
	Noninterference_CSP.gz	Apr 6, 2017, 7:58:16 PM	3.49 KiB
	Noninterference_Generic_Unwinding.db	Apr 6, 2017, 8:45:39 PM	5.00 KiB
	Noninterference_Generic_Unwinding.gz	Apr 6, 2017, 8:45:39 PM	2.64 KiB
	Noninterference_Inductive_Unwinding.db	Apr 6, 2017, 8:47:05 PM	6.00 KiB
	Noninterference_Inductive_Unwinding.gz	Apr 6, 2017, 8:47:05 PM	3.89 KiB
	Noninterference_Ipurge_Unwinding.db	Apr 6, 2017, 7:58:46 PM	5.00 KiB
	Noninterference_Ipurge_Unwinding.gz	Apr 6, 2017, 7:58:46 PM	4.51 KiB
	Noninterference_Sequential_Composition.db	Apr 6, 2017, 7:56:02 PM	9.00 KiB
	Noninterference_Sequential_Composition.gz	Apr 6, 2017, 7:56:02 PM	5.38 KiB
	NormByEval.db	Apr 6, 2017, 8:44:20 PM	8.00 KiB
	NormByEval.gz	Apr 6, 2017, 8:44:20 PM	3.17 KiB
	Old_Datatype_Show.db	Apr 7, 2017, 9:22:40 AM	5.00 KiB
	Old_Datatype_Show.gz	Apr 7, 2017, 9:22:40 AM	901 B
	Open_Induction.db	Apr 6, 2017, 8:48:55 PM	4.00 KiB
	Open_Induction.gz	Apr 6, 2017, 8:48:55 PM	2.70 KiB
	Ordinal.db	Apr 6, 2017, 7:56:36 PM	5.00 KiB
	Ordinal.gz	Apr 6, 2017, 7:56:36 PM	3.52 KiB
	Ordinals_and_Cardinals.db	Apr 6, 2017, 8:49:05 PM	3.00 KiB
	Ordinals_and_Cardinals.gz	Apr 6, 2017, 8:49:05 PM	1.40 KiB
	Ordinary_Differential_Equations.db	Apr 7, 2017, 9:08:29 AM	31.00 KiB
	Ordinary_Differential_Equations.gz	Apr 7, 2017, 9:08:29 AM	49.63 KiB
	Pairing_Heap.db	Apr 7, 2017, 9:23:11 AM	4.00 KiB
	Pairing_Heap.gz	Apr 7, 2017, 9:23:11 AM	2.20 KiB
	Paraconsistency.db	Apr 6, 2017, 8:26:13 PM	11.00 KiB
	Paraconsistency.gz	Apr 6, 2017, 8:26:13 PM	1.98 KiB
	Parity_Game.db	Apr 6, 2017, 8:32:10 PM	29.00 KiB
	Parity_Game.gz	Apr 6, 2017, 8:32:10 PM	14.19 KiB
	Partial_Function_MR.db	Apr 6, 2017, 8:48:05 PM	4.00 KiB
	Partial_Function_MR.gz	Apr 6, 2017, 8:48:05 PM	3.24 KiB
	Password_Authentication_Protocol.db	Apr 6, 2017, 8:33:30 PM	11.00 KiB
	Password_Authentication_Protocol.gz	Apr 6, 2017, 8:33:30 PM	5.20 KiB
	PCF.db	Apr 6, 2017, 8:41:48 PM	10.00 KiB
	PCF.gz	Apr 6, 2017, 8:41:48 PM	6.90 KiB
	Perfect-Number-Thm.db	Apr 7, 2017, 8:50:00 AM	5.00 KiB
	Perfect-Number-Thm.gz	Apr 7, 2017, 8:50:00 AM	2.83 KiB
	Perron_Frobenius.db	Apr 7, 2017, 9:22:44 AM	6.00 KiB
	Perron_Frobenius.gz	Apr 7, 2017, 9:22:44 AM	6.71 KiB
	pGCL.db	Apr 7, 2017, 9:21:04 AM	12.00 KiB
	pGCL.gz	Apr 7, 2017, 9:21:04 AM	15.74 KiB
	Pi_Calculus.db	Apr 6, 2017, 8:35:00 PM	18.00 KiB
	Pi_Calculus.gz	Apr 6, 2017, 8:35:00 PM	216.66 KiB
	Planarity_Certificates.db	Apr 6, 2017, 8:27:36 PM	36.00 KiB
	Planarity_Certificates.gz	Apr 6, 2017, 8:27:36 PM	59.67 KiB
	Polynomial_Factorization.db	Apr 7, 2017, 9:00:17 AM	11.00 KiB
	Polynomial_Factorization.gz	Apr 7, 2017, 9:00:17 AM	8.18 KiB
	Polynomial_Interpolation.db	Apr 7, 2017, 8:49:18 AM	18.00 KiB
	Polynomial_Interpolation.gz	Apr 7, 2017, 8:49:18 AM	43.87 KiB
	Polynomials.db	Apr 6, 2017, 7:55:02 PM	9.00 KiB
	Polynomials.gz	Apr 6, 2017, 7:55:02 PM	29.16 KiB
	Pop_Refinement.db	Apr 6, 2017, 8:47:37 PM	5.00 KiB
	Pop_Refinement.gz	Apr 6, 2017, 8:47:37 PM	4.42 KiB
	POPLmark-deBruijn.db	Apr 7, 2017, 9:21:36 AM	8.00 KiB
	POPLmark-deBruijn.gz	Apr 7, 2017, 9:21:36 AM	6.38 KiB
	Posix-Lexing.db	Apr 7, 2017, 9:22:20 AM	5.00 KiB
	Posix-Lexing.gz	Apr 7, 2017, 9:22:20 AM	2.37 KiB
	Possibilistic_Noninterference.db	Apr 6, 2017, 8:42:33 PM	11.00 KiB
	Possibilistic_Noninterference.gz	Apr 6, 2017, 8:42:33 PM	9.96 KiB
	Pratt_Certificate.db	Apr 7, 2017, 8:49:47 AM	6.00 KiB
	Pratt_Certificate.gz	Apr 7, 2017, 8:49:47 AM	4.56 KiB
	Pre_Algebraic_Numbers.db	Apr 7, 2017, 9:09:23 AM	8.00 KiB
	Pre_Algebraic_Numbers.gz	Apr 7, 2017, 9:09:23 AM	854 B
	Pre_BZ.db	Apr 7, 2017, 9:03:49 AM	30.00 KiB
	Pre_BZ.gz	Apr 7, 2017, 9:03:49 AM	7.68 KiB
	Pre_Perron_Frobenius.db	Apr 7, 2017, 9:08:00 AM	62.00 KiB
	Pre_Perron_Frobenius.gz	Apr 7, 2017, 9:07:59 AM	11.64 KiB
	Pre_Polynomial_Factorization.db	Apr 7, 2017, 8:58:42 AM	10.00 KiB
	Pre_Polynomial_Factorization.gz	Apr 7, 2017, 8:58:42 AM	2.38 KiB
	Presburger-Automata.db	Apr 7, 2017, 9:21:25 AM	9.00 KiB
	Presburger-Automata.gz	Apr 7, 2017, 9:21:25 AM	18.16 KiB
	Prime_Harmonic_Series.db	Apr 7, 2017, 9:18:33 AM	22.00 KiB
	Prime_Harmonic_Series.gz	Apr 7, 2017, 9:18:33 AM	5.95 KiB
	Priority_Queue_Braun.db	Apr 6, 2017, 8:45:22 PM	7.00 KiB
	Priority_Queue_Braun.gz	Apr 6, 2017, 8:45:22 PM	3.61 KiB
	Probabilistic_Noninterference.db	Apr 7, 2017, 9:12:14 AM	25.00 KiB
	Probabilistic_Noninterference.gz	Apr 7, 2017, 9:12:14 AM	9.54 KiB
	Probabilistic_System_Zoo.db	Apr 7, 2017, 9:20:43 AM	12.00 KiB
	Probabilistic_System_Zoo.gz	Apr 7, 2017, 9:20:43 AM	6.02 KiB
	Probabilistic_System_Zoo-BNFs.db	Apr 7, 2017, 9:20:46 AM	15.00 KiB
	Probabilistic_System_Zoo-BNFs.gz	Apr 7, 2017, 9:20:46 AM	19.75 KiB
	Probabilistic_System_Zoo-Non_BNFs.db	Apr 7, 2017, 9:20:40 AM	12.00 KiB
	Probabilistic_System_Zoo-Non_BNFs.gz	Apr 7, 2017, 9:20:40 AM	4.21 KiB
	Program-Conflict-Analysis.db	Apr 7, 2017, 9:19:45 AM	10.00 KiB
	Program-Conflict-Analysis.gz	Apr 7, 2017, 9:19:45 AM	33.63 KiB
	Promela.db	Apr 6, 2017, 8:22:04 PM	16.00 KiB
	Promela.gz	Apr 6, 2017, 8:22:04 PM	15.08 KiB
	Proof_Strategy_Language.db	Apr 6, 2017, 8:49:03 PM	4.00 KiB
	Proof_Strategy_Language.gz	Apr 6, 2017, 8:49:03 PM	6.21 KiB
	PropResPI.db	Apr 6, 2017, 8:45:55 PM	6.00 KiB
	PropResPI.gz	Apr 6, 2017, 8:45:55 PM	16.72 KiB
	PseudoHoops.db	Apr 6, 2017, 8:32:52 PM	13.00 KiB
	PseudoHoops.gz	Apr 6, 2017, 8:32:52 PM	9.28 KiB
	Psi_Calculi.db	Apr 6, 2017, 8:10:53 PM	76.00 KiB
	Psi_Calculi.gz	Apr 6, 2017, 8:10:53 PM	278.75 KiB
	Ptolemys_Theorem.db	Apr 7, 2017, 9:23:16 AM	4.00 KiB
	Ptolemys_Theorem.gz	Apr 7, 2017, 9:23:16 AM	2.56 KiB
	Pure.db	Apr 5, 2017, 2:03:48 PM	13.00 KiB
	Pure.gz	Apr 5, 2017, 2:03:48 PM	77.08 KiB
	QR_Decomposition.db	Apr 7, 2017, 9:09:23 AM	35.00 KiB
	QR_Decomposition.gz	Apr 7, 2017, 9:09:23 AM	133.18 KiB
	Quick_Sort_Cost.db	Apr 7, 2017, 9:21:39 AM	9.00 KiB
	Quick_Sort_Cost.gz	Apr 7, 2017, 9:21:38 AM	5.96 KiB
	Ramsey-Infinite.db	Apr 6, 2017, 8:48:18 PM	4.00 KiB
	Ramsey-Infinite.gz	Apr 6, 2017, 8:48:18 PM	2.48 KiB
	Random_Graph_Subgraph_Threshold.db	Apr 7, 2017, 9:17:26 AM	17.00 KiB
	Random_Graph_Subgraph_Threshold.gz	Apr 7, 2017, 9:17:26 AM	12.29 KiB
	Randomised_Social_Choice.db	Apr 7, 2017, 9:10:28 AM	10.00 KiB
	Randomised_Social_Choice.gz	Apr 7, 2017, 9:10:28 AM	26.17 KiB
	Rank_Nullity_Theorem.db	Apr 7, 2017, 9:21:56 AM	7.00 KiB
	Rank_Nullity_Theorem.gz	Apr 7, 2017, 9:21:56 AM	9.69 KiB
	Real_Impl.db	Apr 7, 2017, 8:49:51 AM	13.00 KiB
	Real_Impl.gz	Apr 7, 2017, 8:49:51 AM	7.79 KiB
	Recursion-Theory-I.db	Apr 6, 2017, 8:46:08 PM	6.00 KiB
	Recursion-Theory-I.gz	Apr 6, 2017, 8:46:08 PM	29.11 KiB
	Refine_Imperative_HOL.db	Apr 6, 2017, 8:16:05 PM	45.00 KiB
	Refine_Imperative_HOL.gz	Apr 6, 2017, 8:16:05 PM	281.18 KiB
	Refine_Monadic.db	Apr 6, 2017, 7:52:20 PM	17.00 KiB
	Refine_Monadic.gz	Apr 6, 2017, 7:52:20 PM	17.03 KiB
	RefinementReactive.db	Apr 6, 2017, 8:47:09 PM	6.00 KiB
	RefinementReactive.gz	Apr 6, 2017, 8:47:09 PM	4.38 KiB
	Regex_Equivalence_Examples.db	Apr 7, 2017, 9:22:39 AM	5.00 KiB
	Regex_Equivalence_Examples.gz	Apr 7, 2017, 9:22:39 AM	3.18 KiB
	Regex_Equivalence.db	Apr 7, 2017, 8:57:21 AM	11.00 KiB
	Regex_Equivalence.gz	Apr 7, 2017, 8:57:21 AM	14.48 KiB
	Regular_Algebras.db	Apr 6, 2017, 8:34:29 PM	12.00 KiB
	Regular_Algebras.gz	Apr 6, 2017, 8:34:29 PM	9.96 KiB
	Regular-Sets.db	Apr 7, 2017, 8:57:54 AM	8.00 KiB
	Regular-Sets.gz	Apr 7, 2017, 8:57:54 AM	5.68 KiB
	Relation_Algebra.db	Apr 6, 2017, 7:55:21 PM	8.00 KiB
	Relation_Algebra.gz	Apr 6, 2017, 7:55:21 PM	6.53 KiB
	Rep_Fin_Groups.db	Apr 7, 2017, 8:46:17 AM	18.00 KiB
	Rep_Fin_Groups.gz	Apr 7, 2017, 8:46:17 AM	23.18 KiB
	Residuated_Lattices.db	Apr 6, 2017, 8:43:57 PM	8.00 KiB
	Residuated_Lattices.gz	Apr 6, 2017, 8:43:55 PM	5.12 KiB
	Resolution_FOL.db	Apr 6, 2017, 8:45:01 PM	7.00 KiB
	Resolution_FOL.gz	Apr 6, 2017, 8:45:01 PM	7.93 KiB
	Rewriting_Z.db	Apr 6, 2017, 8:43:53 PM	8.00 KiB
	Rewriting_Z.gz	Apr 6, 2017, 8:43:53 PM	5.89 KiB
	Ribbon_Proofs.db	Apr 7, 2017, 9:22:01 AM	6.00 KiB
	Ribbon_Proofs.gz	Apr 7, 2017, 9:22:01 AM	4.25 KiB
	RIPEMD-160-SPARK.db	Apr 6, 2017, 8:49:01 PM	4.00 KiB
	RIPEMD-160-SPARK.gz	Apr 6, 2017, 8:49:01 PM	1.99 KiB
	Robbins-Conjecture.db	Apr 6, 2017, 8:46:28 PM	5.00 KiB
	Robbins-Conjecture.gz	Apr 6, 2017, 8:46:28 PM	2.68 KiB
	ROBDD.db	Apr 6, 2017, 8:24:58 PM	32.00 KiB
	ROBDD.gz	Apr 6, 2017, 8:24:58 PM	31.82 KiB
	Routing.db	Apr 6, 2017, 7:56:12 PM	6.00 KiB
	Routing.gz	Apr 6, 2017, 7:56:12 PM	7.88 KiB
	Roy_Floyd_Warshall.db	Apr 6, 2017, 8:49:05 PM	4.00 KiB
	Roy_Floyd_Warshall.gz	Apr 6, 2017, 8:49:05 PM	2.00 KiB
	RSAPSS.db	Apr 7, 2017, 8:48:43 AM	28.00 KiB
	RSAPSS.gz	Apr 7, 2017, 8:48:43 AM	12.16 KiB
	SATSolverVerification.db	Apr 7, 2017, 9:17:37 AM	20.00 KiB
	SATSolverVerification.gz	Apr 7, 2017, 9:17:37 AM	92.20 KiB
	SDS_Impossibility.db	Apr 7, 2017, 9:19:45 AM	8.00 KiB
	SDS_Impossibility.gz	Apr 7, 2017, 9:19:45 AM	2.98 KiB
	Secondary_Sylow.db	Apr 7, 2017, 8:49:58 AM	5.00 KiB
	Secondary_Sylow.gz	Apr 7, 2017, 8:49:58 AM	9.07 KiB
	Selection_Heap_Sort.db	Apr 7, 2017, 9:22:38 AM	5.00 KiB
	Selection_Heap_Sort.gz	Apr 7, 2017, 9:22:38 AM	3.42 KiB
	SenSocialChoice.db	Apr 6, 2017, 8:45:18 PM	6.00 KiB
	SenSocialChoice.gz	Apr 6, 2017, 8:45:18 PM	3.42 KiB
	Separata.db	Apr 6, 2017, 8:44:19 PM	8.00 KiB
	Separata.gz	Apr 6, 2017, 8:44:19 PM	4.70 KiB
	Separation_Algebra.db	Apr 6, 2017, 8:45:31 PM	7.00 KiB
	Separation_Algebra.gz	Apr 6, 2017, 8:45:31 PM	8.21 KiB
	Separation_Logic_Imperative_HOL.db	Apr 7, 2017, 9:15:35 AM	19.00 KiB
	Separation_Logic_Imperative_HOL.gz	Apr 7, 2017, 9:15:34 AM	72.82 KiB
	Sepref_Basic.db	Apr 6, 2017, 8:04:30 PM	11.00 KiB
	Sepref_Basic.gz	Apr 6, 2017, 8:04:30 PM	9.76 KiB
	Sepref_IICF.db	Apr 6, 2017, 8:07:12 PM	18.00 KiB
	Sepref_IICF.gz	Apr 6, 2017, 8:07:12 PM	18.35 KiB
	Sepref_Prereq.db	Apr 6, 2017, 8:03:10 PM	14.00 KiB
	Sepref_Prereq.gz	Apr 6, 2017, 8:03:10 PM	9.88 KiB
	SequentInvertibility.db	Apr 6, 2017, 8:38:43 PM	14.00 KiB
	SequentInvertibility.gz	Apr 6, 2017, 8:38:43 PM	43.94 KiB
	Shivers-CFA.db	Apr 6, 2017, 8:43:53 PM	8.00 KiB
	Shivers-CFA.gz	Apr 6, 2017, 8:43:53 PM	118.60 KiB
	ShortestPath.db	Apr 6, 2017, 8:48:28 PM	4.00 KiB
	ShortestPath.gz	Apr 6, 2017, 8:48:28 PM	2.57 KiB
	Show.db	Apr 7, 2017, 9:23:18 AM	7.00 KiB
	Show.gz	Apr 7, 2017, 9:23:18 AM	8.14 KiB
	SIFPL.db	Apr 6, 2017, 8:41:51 PM	12.00 KiB
	SIFPL.gz	Apr 6, 2017, 8:41:51 PM	16.28 KiB
	SIFUM_Type_Systems.db	Apr 6, 2017, 8:36:14 PM	13.00 KiB
	SIFUM_Type_Systems.gz	Apr 6, 2017, 8:36:14 PM	12.64 KiB
	Simpl.db	Apr 6, 2017, 7:30:35 PM	31.00 KiB
	Simpl.gz	Apr 6, 2017, 7:30:35 PM	92.21 KiB
	Simple_Firewall.db	Apr 6, 2017, 7:53:53 PM	11.00 KiB
	Simple_Firewall.gz	Apr 6, 2017, 7:53:53 PM	56.11 KiB
	Skew_Heap.db	Apr 6, 2017, 8:46:46 PM	7.00 KiB
	Skew_Heap.gz	Apr 6, 2017, 8:46:46 PM	3.30 KiB
	Slicing.db	Apr 6, 2017, 7:47:32 PM	48.00 KiB
	Slicing.gz	Apr 6, 2017, 7:47:32 PM	109.52 KiB
	Sort_Encodings.db	Apr 6, 2017, 8:39:50 PM	12.00 KiB
	Sort_Encodings.gz	Apr 6, 2017, 8:39:50 PM	15.49 KiB
	Source_Coding_Theorem.db	Apr 7, 2017, 9:23:00 AM	5.00 KiB
	Source_Coding_Theorem.gz	Apr 7, 2017, 9:23:00 AM	2.85 KiB
	SPARCv8.db	Apr 6, 2017, 8:16:07 PM	34.00 KiB
	SPARCv8.gz	Apr 6, 2017, 8:16:07 PM	48.78 KiB
	Special_Function_Bounds.db	Apr 7, 2017, 9:21:27 AM	8.00 KiB
	Special_Function_Bounds.gz	Apr 7, 2017, 9:21:27 AM	20.79 KiB
	Splay_Tree.db	Apr 6, 2017, 8:40:58 PM	9.00 KiB
	Splay_Tree.gz	Apr 6, 2017, 8:40:58 PM	4.14 KiB
	Sqrt_Babylonian.db	Apr 6, 2017, 7:57:54 PM	6.00 KiB
	Sqrt_Babylonian.gz	Apr 6, 2017, 7:57:54 PM	4.29 KiB
	Stable_Matching.db	Apr 7, 2017, 9:13:38 AM	16.00 KiB
	Stable_Matching.gz	Apr 7, 2017, 9:13:38 AM	24.71 KiB
	Statecharts.db	Apr 6, 2017, 8:35:18 PM	13.00 KiB
	Statecharts.gz	Apr 6, 2017, 8:35:18 PM	27.89 KiB
	Stern_Brocot.db	Apr 7, 2017, 9:20:51 AM	7.00 KiB
	Stern_Brocot.gz	Apr 7, 2017, 9:20:51 AM	9.45 KiB
	Stirling_Formula.db	Apr 7, 2017, 9:05:05 AM	12.00 KiB
	Stirling_Formula.gz	Apr 7, 2017, 9:05:05 AM	29.69 KiB
	Stone_Algebras.db	Apr 6, 2017, 7:51:03 PM	11.00 KiB
	Stone_Algebras.gz	Apr 6, 2017, 7:51:03 PM	5.65 KiB
	Stone_Relation_Algebras.db	Apr 6, 2017, 8:41:02 PM	11.00 KiB
	Stone_Relation_Algebras.gz	Apr 6, 2017, 8:41:02 PM	5.41 KiB
	Stream_Fusion_Code.db	Apr 7, 2017, 9:22:07 AM	7.00 KiB
	Stream_Fusion_Code.gz	Apr 7, 2017, 9:22:07 AM	111.93 KiB
	Stream-Fusion.db	Apr 6, 2017, 8:47:20 PM	5.00 KiB
	Stream-Fusion.gz	Apr 6, 2017, 8:47:20 PM	2.60 KiB
	Strong_Security.db	Apr 6, 2017, 8:44:44 PM	7.00 KiB
	Strong_Security.gz	Apr 6, 2017, 8:44:44 PM	20.08 KiB
	Sturm_Sequences.db	Apr 7, 2017, 8:57:54 AM	16.00 KiB
	Sturm_Sequences.gz	Apr 7, 2017, 8:57:54 AM	33.26 KiB
	Sturm_Tarski.db	Apr 7, 2017, 8:49:11 AM	17.00 KiB
	Sturm_Tarski.gz	Apr 7, 2017, 8:49:11 AM	8.56 KiB
	Stuttering_Equivalence.db	Apr 7, 2017, 9:23:07 AM	5.00 KiB
	Stuttering_Equivalence.gz	Apr 7, 2017, 9:23:07 AM	4.41 KiB
	SumSquares.db	Apr 7, 2017, 8:50:03 AM	5.00 KiB
	SumSquares.gz	Apr 7, 2017, 8:50:02 AM	4.30 KiB
	SuperCalc.db	Apr 7, 2017, 9:20:46 AM	11.00 KiB
	SuperCalc.gz	Apr 7, 2017, 9:20:46 AM	23.70 KiB
	Surprise_Paradox.db	Apr 6, 2017, 8:48:57 PM	4.00 KiB
	Surprise_Paradox.gz	Apr 6, 2017, 8:48:57 PM	1.92 KiB
	Tail_Recursive_Functions.db	Apr 7, 2017, 9:23:05 AM	5.00 KiB
	Tail_Recursive_Functions.gz	Apr 7, 2017, 9:23:05 AM	2.82 KiB
	Tarskis_Geometry.db	Apr 7, 2017, 9:20:01 AM	14.00 KiB
	Tarskis_Geometry.gz	Apr 7, 2017, 9:20:01 AM	6.13 KiB
	Timed_Automata.db	Apr 6, 2017, 8:20:38 PM	35.00 KiB
	Timed_Automata.gz	Apr 6, 2017, 8:20:38 PM	49.85 KiB
	TLA.db	Apr 6, 2017, 8:45:08 PM	7.00 KiB
	TLA.gz	Apr 6, 2017, 8:45:08 PM	14.59 KiB
	Topology.db	Apr 7, 2017, 9:23:00 AM	5.00 KiB
	Topology.gz	Apr 7, 2017, 9:23:00 AM	4.01 KiB
	TortoiseHare.db	Apr 6, 2017, 8:47:58 PM	5.00 KiB
	TortoiseHare.gz	Apr 6, 2017, 8:47:58 PM	4.85 KiB
	Transitive-Closure.db	Apr 6, 2017, 8:48:49 PM	5.00 KiB
	Transitive-Closure.gz	Apr 6, 2017, 8:48:49 PM	3.23 KiB
	Transitive-Closure-II.db	Apr 6, 2017, 8:46:45 PM	6.00 KiB
	Transitive-Closure-II.gz	Apr 6, 2017, 8:46:45 PM	3.58 KiB
	Tree_Decomposition.db	Apr 6, 2017, 8:47:51 PM	5.00 KiB
	Tree_Decomposition.gz	Apr 6, 2017, 8:47:51 PM	3.92 KiB
	Tree-Automata.db	Apr 6, 2017, 8:43:21 PM	10.00 KiB
	Tree-Automata.gz	Apr 6, 2017, 8:43:21 PM	34.62 KiB
	Triangle.db	Apr 7, 2017, 9:22:52 AM	4.00 KiB
	Triangle.gz	Apr 7, 2017, 9:22:52 AM	2.09 KiB
	Trie.db	Apr 6, 2017, 8:44:20 PM	6.00 KiB
	Trie.gz	Apr 6, 2017, 8:44:20 PM	4.48 KiB
	Twelvefold_Way.db	Apr 6, 2017, 8:33:39 PM	18.00 KiB
	Twelvefold_Way.gz	Apr 6, 2017, 8:33:39 PM	19.70 KiB
	Tycon.db	Apr 6, 2017, 8:47:32 PM	6.00 KiB
	Tycon.gz	Apr 6, 2017, 8:47:32 PM	6.09 KiB
	UpDown_Scheme.db	Apr 7, 2017, 9:17:51 AM	15.00 KiB
	UpDown_Scheme.gz	Apr 7, 2017, 9:17:51 AM	8.36 KiB
	UPF_Firewall.db	Apr 6, 2017, 8:26:05 PM	21.00 KiB
	UPF_Firewall.gz	Apr 6, 2017, 8:26:05 PM	24.03 KiB
	UPF.db	Apr 6, 2017, 7:54:22 PM	7.00 KiB
	UPF.gz	Apr 6, 2017, 7:54:22 PM	5.40 KiB
	Valuation.db	Apr 7, 2017, 9:20:19 AM	16.00 KiB
	Valuation.gz	Apr 7, 2017, 9:20:19 AM	5.44 KiB
	VectorSpace.db	Apr 7, 2017, 8:50:11 AM	9.00 KiB
	VectorSpace.gz	Apr 7, 2017, 8:50:11 AM	16.62 KiB
	Verified-Prover.db	Apr 6, 2017, 8:47:38 PM	5.00 KiB
	Verified-Prover.gz	Apr 6, 2017, 8:47:38 PM	4.91 KiB
	Vickrey_Clarke_Groves.db	Apr 7, 2017, 9:18:46 AM	13.00 KiB
	Vickrey_Clarke_Groves.gz	Apr 7, 2017, 9:18:46 AM	25.47 KiB
	VolpanoSmith.db	Apr 6, 2017, 8:47:48 PM	5.00 KiB
	VolpanoSmith.gz	Apr 6, 2017, 8:47:48 PM	14.27 KiB
	Well_Quasi_Orders.db	Apr 7, 2017, 9:21:27 AM	9.00 KiB
	Well_Quasi_Orders.gz	Apr 7, 2017, 9:21:27 AM	6.32 KiB
	WHATandWHERE_Security.db	Apr 6, 2017, 8:41:49 PM	9.00 KiB
	WHATandWHERE_Security.gz	Apr 6, 2017, 8:41:49 PM	18.33 KiB
	Word_Lib.db	Apr 6, 2017, 7:29:23 PM	13.00 KiB
	Word_Lib.gz	Apr 6, 2017, 7:29:23 PM	122.81 KiB
	WorkerWrapper.db	Apr 6, 2017, 8:46:58 PM	7.00 KiB
	WorkerWrapper.gz	Apr 6, 2017, 8:46:58 PM	7.82 KiB
	XML.db	Apr 6, 2017, 8:45:15 PM	7.00 KiB
	XML.gz	Apr 6, 2017, 8:45:15 PM	4.89 KiB
(all files in zip)