Artifacts of isabelle-all #1215

	Abortable_Linearizable_Modules.db	Jun 22, 2019, 9:33:16 AM	28.00 KiB
	Abortable_Linearizable_Modules.gz	Jun 22, 2019, 9:33:16 AM	818 B
	Abs_Int_ITP2012.db	Jun 22, 2019, 9:37:09 AM	28.00 KiB
	Abs_Int_ITP2012.gz	Jun 22, 2019, 9:37:09 AM	9.03 KiB
	Abstract_Completeness.db	Jun 22, 2019, 9:47:16 AM	20.00 KiB
	Abstract_Completeness.gz	Jun 22, 2019, 9:47:16 AM	1.82 KiB
	Abstract_Soundness.db	Jun 22, 2019, 9:50:09 AM	20.00 KiB
	Abstract_Soundness.gz	Jun 22, 2019, 9:50:09 AM	757 B
	Abstract-Hoare-Logics.db	Jun 22, 2019, 9:51:32 AM	20.00 KiB
	Abstract-Hoare-Logics.gz	Jun 22, 2019, 9:51:32 AM	16.34 KiB
	Abstract-Rewriting.db	Jun 22, 2019, 9:16:13 AM	24.00 KiB
	Abstract-Rewriting.gz	Jun 22, 2019, 9:16:13 AM	2.36 KiB
	Affine_Arithmetic.db	Jun 22, 2019, 8:54:52 AM	52.00 KiB
	Affine_Arithmetic.gz	Jun 22, 2019, 8:54:52 AM	23.70 KiB
	Aggregation_Algebras.db	Jun 22, 2019, 9:29:56 AM	28.00 KiB
	Aggregation_Algebras.gz	Jun 22, 2019, 9:29:56 AM	3.12 KiB
	Akra_Bazzi.db	Jun 22, 2019, 9:37:25 AM	28.00 KiB
	Akra_Bazzi.gz	Jun 22, 2019, 9:37:24 AM	6.26 KiB
	Algebraic_Numbers.db	Jun 22, 2019, 9:03:29 AM	80.00 KiB
	Algebraic_Numbers.gz	Jun 22, 2019, 9:03:29 AM	7.44 KiB
	Algebraic_VCs.db	Jun 22, 2019, 9:05:29 AM	36.00 KiB
	Algebraic_VCs.gz	Jun 22, 2019, 9:05:29 AM	4.67 KiB
	Allen_Calculus.db	Jun 22, 2019, 9:18:32 AM	28.00 KiB
	Allen_Calculus.gz	Jun 22, 2019, 9:18:32 AM	1.72 KiB
	Amortized_Complexity.db	Jun 22, 2019, 9:40:27 AM	28.00 KiB
	Amortized_Complexity.gz	Jun 22, 2019, 9:40:27 AM	3.34 KiB
	AnselmGod.db	Jun 22, 2019, 9:52:53 AM	20.00 KiB
	AnselmGod.gz	Jun 22, 2019, 9:52:53 AM	252 B
	Applicative_Lifting.db	Jun 22, 2019, 9:36:15 AM	24.00 KiB
	Applicative_Lifting.gz	Jun 22, 2019, 9:36:15 AM	4.96 KiB
	Architectural_Design_Patterns.db	Jun 22, 2019, 9:45:47 AM	24.00 KiB
	Architectural_Design_Patterns.gz	Jun 22, 2019, 9:45:47 AM	19.39 KiB
	ArrowImpossibilityGS.db	Jun 22, 2019, 9:52:18 AM	20.00 KiB
	ArrowImpossibilityGS.gz	Jun 22, 2019, 9:52:18 AM	913 B
	Auto2_HOL.db	Jun 22, 2019, 8:30:47 AM	24.00 KiB
	Auto2_HOL.gz	Jun 22, 2019, 8:30:47 AM	29.08 KiB
	Auto2_Imperative_HOL.db	Jun 22, 2019, 9:00:20 AM	48.00 KiB
	Auto2_Imperative_HOL.gz	Jun 22, 2019, 9:00:20 AM	83.00 KiB
	AutoFocus-Stream.db	Jun 22, 2019, 9:42:41 AM	24.00 KiB
	AutoFocus-Stream.gz	Jun 22, 2019, 9:42:41 AM	1.60 KiB
	Automatic_Refinement.db	Jun 22, 2019, 8:30:56 AM	24.00 KiB
	Automatic_Refinement.gz	Jun 22, 2019, 8:30:56 AM	9.78 KiB
	AVL-Trees.db	Jun 22, 2019, 9:50:44 AM	20.00 KiB
	AVL-Trees.gz	Jun 22, 2019, 9:50:44 AM	592 B
	AWN.db	Jun 22, 2019, 9:37:14 AM	28.00 KiB
	AWN.gz	Jun 22, 2019, 9:37:14 AM	3.09 KiB
	AxiomaticCategoryTheory.db	Jun 22, 2019, 9:48:28 AM	20.00 KiB
	AxiomaticCategoryTheory.gz	Jun 22, 2019, 9:48:27 AM	1.58 KiB
	BDD.db	Jun 22, 2019, 9:41:47 AM	24.00 KiB
	BDD.gz	Jun 22, 2019, 9:41:47 AM	1.30 KiB
	Bell_Numbers_Spivey.db	Jun 22, 2019, 9:50:45 AM	20.00 KiB
	Bell_Numbers_Spivey.gz	Jun 22, 2019, 9:50:45 AM	990 B
	Berlekamp_Zassenhaus.db	Jun 22, 2019, 8:55:02 AM	32.00 KiB
	Berlekamp_Zassenhaus.gz	Jun 22, 2019, 8:55:02 AM	5.15 KiB
	Bernoulli.db	Jun 22, 2019, 9:51:12 AM	20.00 KiB
	Bernoulli.gz	Jun 22, 2019, 9:51:12 AM	1.05 KiB
	Bertrands_Postulate.db	Jun 22, 2019, 9:43:45 AM	24.00 KiB
	Bertrands_Postulate.gz	Jun 22, 2019, 9:43:45 AM	2.18 KiB
	BinarySearchTree.db	Jun 22, 2019, 9:52:44 AM	20.00 KiB
	BinarySearchTree.gz	Jun 22, 2019, 9:52:44 AM	620 B
	Binding_Syntax_Theory.db	Jun 22, 2019, 9:31:29 AM	32.00 KiB
	Binding_Syntax_Theory.gz	Jun 22, 2019, 9:31:29 AM	5.80 KiB
	Binomial-Heaps.db	Jun 22, 2019, 9:49:17 AM	36.00 KiB
	Binomial-Heaps.gz	Jun 22, 2019, 9:49:17 AM	1.39 KiB
	Binomial-Queues.db	Jun 22, 2019, 9:51:58 AM	20.00 KiB
	Binomial-Queues.gz	Jun 22, 2019, 9:51:58 AM	759 B
	BNF_CC.db	Jun 22, 2019, 9:49:49 AM	20.00 KiB
	BNF_CC.gz	Jun 22, 2019, 9:49:49 AM	4.81 KiB
	BNF_Operations.db	Jun 22, 2019, 9:51:00 AM	20.00 KiB
	BNF_Operations.gz	Jun 22, 2019, 9:51:00 AM	2.62 KiB
	Bondy.db	Jun 22, 2019, 9:53:01 AM	20.00 KiB
	Bondy.gz	Jul 28, 2019, 12:41:26 AM	189 B
	Boolean_Expression_Checkers.db	Jun 22, 2019, 9:48:49 AM	20.00 KiB
	Boolean_Expression_Checkers.gz	Jun 22, 2019, 9:48:49 AM	543 B
	Bounded_Deducibility_Security.db	Jun 22, 2019, 9:52:11 AM	20.00 KiB
	Bounded_Deducibility_Security.gz	Jun 22, 2019, 9:52:11 AM	1.03 KiB
	Buchi_Complementation.db	Jun 22, 2019, 9:43:43 AM	304.00 KiB
	Buchi_Complementation.gz	Jun 22, 2019, 9:43:43 AM	674 B
	Budan_Fourier.db	Jun 22, 2019, 9:47:27 AM	20.00 KiB
	Budan_Fourier.gz	Jun 22, 2019, 9:47:27 AM	426 B
	Buffons_Needle.db	Jun 22, 2019, 9:52:28 AM	20.00 KiB
	Buffons_Needle.gz	Jun 22, 2019, 9:52:28 AM	649 B
	Buildings.db	Jun 22, 2019, 9:34:57 AM	28.00 KiB
	Buildings.gz	Jun 22, 2019, 9:34:57 AM	1.77 KiB
	BytecodeLogicJmlTypes.db	Jun 22, 2019, 9:34:36 AM	28.00 KiB
	BytecodeLogicJmlTypes.gz	Jun 22, 2019, 9:34:36 AM	34.32 KiB
	CakeML.db	Jun 22, 2019, 8:39:02 AM	56.00 KiB
	CakeML.gz	Jun 22, 2019, 8:39:02 AM	62.13 KiB
	Call_Arity.db	Jun 22, 2019, 9:42:04 AM	24.00 KiB
	Call_Arity.gz	Jun 22, 2019, 9:42:04 AM	5.62 KiB
	Card_Equiv_Relations.db	Jun 22, 2019, 9:53:03 AM	20.00 KiB
	Card_Equiv_Relations.gz	Jun 22, 2019, 5:55:58 PM	228 B
	Card_Multisets.db	Jun 22, 2019, 9:51:24 AM	20.00 KiB
	Card_Multisets.gz	Jun 22, 2019, 9:51:24 AM	1.68 KiB
	Card_Number_Partitions.db	Jun 22, 2019, 9:52:38 AM	20.00 KiB
	Card_Number_Partitions.gz	Jun 22, 2019, 9:52:38 AM	401 B
	Card_Partitions.db	Jun 22, 2019, 9:51:56 AM	20.00 KiB
	Card_Partitions.gz	Jun 22, 2019, 9:51:56 AM	1.28 KiB
	Cartan_FP.db	Jun 22, 2019, 9:52:53 AM	20.00 KiB
	Cartan_FP.gz	Jun 22, 2019, 9:52:53 AM	404 B
	Case_Labeling.db	Jun 22, 2019, 9:52:24 AM	20.00 KiB
	Case_Labeling.gz	Jun 22, 2019, 9:52:24 AM	3.30 KiB
	Catalan_Numbers.db	Jun 22, 2019, 9:50:42 AM	20.00 KiB
	Catalan_Numbers.gz	Jun 22, 2019, 9:50:42 AM	2.61 KiB
	Category.db	Jun 22, 2019, 9:52:20 AM	20.00 KiB
	Category.gz	Jun 22, 2019, 9:52:20 AM	1.45 KiB
	Category2.db	Jun 22, 2019, 9:50:52 AM	20.00 KiB
	Category2.gz	Jun 22, 2019, 9:50:52 AM	3.18 KiB
	Category3.db	Jun 22, 2019, 8:42:21 AM	56.00 KiB
	Category3.gz	Jun 22, 2019, 8:42:21 AM	3.88 KiB
	Cauchy.db	Jun 22, 2019, 9:35:04 AM	20.00 KiB
	Cauchy.gz	Jun 22, 2019, 9:35:04 AM	592 B
	CAVA_Automata.db	Jun 22, 2019, 8:40:04 AM	24.00 KiB
	CAVA_Automata.gz	Jun 22, 2019, 8:40:04 AM	7.98 KiB
	CAVA_Base.db	Jun 22, 2019, 8:38:13 AM	20.00 KiB
	CAVA_Base.gz	Jun 22, 2019, 8:38:13 AM	3.64 KiB
	CAVA_LTL_Modelchecker.db	Jun 22, 2019, 9:00:38 AM	44.00 KiB
	CAVA_LTL_Modelchecker.gz	Jun 22, 2019, 9:00:38 AM	45.12 KiB
	CAVA_Setup.db	Jun 22, 2019, 8:52:35 AM	80.00 KiB
	CAVA_Setup.gz	Jun 22, 2019, 8:52:34 AM	55.32 KiB
	Cayley_Hamilton.db	Jun 22, 2019, 9:50:17 AM	20.00 KiB
	Cayley_Hamilton.gz	Jun 22, 2019, 9:50:17 AM	1.21 KiB
	CCL.db	Jun 4, 2019, 10:47:13 PM	20.00 KiB
	CCL.gz	Jun 4, 2019, 10:47:13 PM	14.00 KiB
	CCS.db	Jun 22, 2019, 9:49:28 AM	20.00 KiB
	CCS.gz	Jun 22, 2019, 9:49:28 AM	6.48 KiB
	Certification_Monads.db	Jun 22, 2019, 9:52:29 AM	20.00 KiB
	Certification_Monads.gz	Jun 22, 2019, 9:52:29 AM	2.25 KiB
	Chord_Segments.db	Jun 22, 2019, 9:52:22 AM	20.00 KiB
	Chord_Segments.gz	Jun 22, 2019, 9:52:22 AM	348 B
	Circus.db	Jun 22, 2019, 9:45:29 AM	24.00 KiB
	Circus.gz	Jun 22, 2019, 9:45:29 AM	26.21 KiB
	CISC-Kernel.db	Jun 22, 2019, 9:49:18 AM	20.00 KiB
	CISC-Kernel.gz	Jun 22, 2019, 9:49:18 AM	2.34 KiB
	Classes.db	Jun 22, 2019, 9:52:48 AM	20.00 KiB
	Classes.gz	Jun 22, 2019, 9:52:48 AM	668 B
	ClockSynchInst.db	Jun 22, 2019, 9:52:45 AM	20.00 KiB
	ClockSynchInst.gz	Jun 22, 2019, 9:52:45 AM	298 B
	Codegen.db	Jun 22, 2019, 9:39:52 AM	24.00 KiB
	Codegen.gz	Jun 22, 2019, 9:39:52 AM	5.22 KiB
	CofGroups.db	Jun 22, 2019, 9:52:54 AM	20.00 KiB
	CofGroups.gz	Jun 22, 2019, 9:52:54 AM	512 B
	Coinductive_Languages.db	Jun 22, 2019, 9:49:45 AM	20.00 KiB
	Coinductive_Languages.gz	Jun 22, 2019, 9:49:45 AM	2.70 KiB
	Coinductive.db	Jun 22, 2019, 9:26:09 AM	32.00 KiB
	Coinductive.gz	Jun 22, 2019, 9:26:09 AM	7.94 KiB
	Collections_Examples.db	Jun 22, 2019, 9:22:46 AM	72.00 KiB
	Collections_Examples.gz	Jun 22, 2019, 9:22:46 AM	29.24 KiB
	Collections.db	Jun 22, 2019, 8:37:45 AM	52.00 KiB
	Collections.gz	Jun 22, 2019, 8:37:45 AM	40.30 KiB
	Comparison_Sort_Lower_Bound.db	Jun 22, 2019, 9:51:48 AM	20.00 KiB
	Comparison_Sort_Lower_Bound.gz	Jun 22, 2019, 9:51:48 AM	991 B
	Compiling-Exceptions-Correctly.db	Jun 22, 2019, 9:52:16 AM	20.00 KiB
	Compiling-Exceptions-Correctly.gz	Jun 22, 2019, 9:52:16 AM	448 B
	Completeness.db	Jun 22, 2019, 9:50:09 AM	20.00 KiB
	Completeness.gz	Jun 22, 2019, 9:50:09 AM	2.88 KiB
	Complx.db	Jun 22, 2019, 9:05:37 AM	36.00 KiB
	Complx.gz	Jun 22, 2019, 9:05:37 AM	14.21 KiB
	ComponentDependencies.db	Jun 22, 2019, 9:38:57 AM	24.00 KiB
	ComponentDependencies.gz	Jun 22, 2019, 9:38:57 AM	302 B
	Concurrent_Ref_Alg.db	Jun 22, 2019, 9:51:54 AM	20.00 KiB
	Concurrent_Ref_Alg.gz	Jun 22, 2019, 9:51:54 AM	1.19 KiB
	Concurrent_Revisions.db	Jun 22, 2019, 9:44:33 AM	24.00 KiB
	Concurrent_Revisions.gz	Jun 22, 2019, 9:44:33 AM	650 B
	ConcurrentIMP.db	Jun 22, 2019, 9:47:43 AM	20.00 KiB
	ConcurrentIMP.gz	Jun 22, 2019, 9:47:43 AM	1.79 KiB
	Consensus_Refined.db	Jun 22, 2019, 9:46:46 AM	24.00 KiB
	Consensus_Refined.gz	Jun 22, 2019, 9:46:46 AM	3.86 KiB
	Constructive_Cryptography.db	Jun 22, 2019, 9:26:26 AM	32.00 KiB
	Constructive_Cryptography.gz	Jun 22, 2019, 9:26:26 AM	7.65 KiB
	Constructor_Funs.db	Jun 22, 2019, 9:50:38 AM	20.00 KiB
	Constructor_Funs.gz	Jun 22, 2019, 9:50:38 AM	587 B
	Containers.db	Jun 22, 2019, 9:01:22 AM	32.00 KiB
	Containers.gz	Jun 22, 2019, 9:01:21 AM	22.35 KiB
	Containers-Benchmarks.db	Jun 22, 2019, 9:21:17 AM	40.00 KiB
	Containers-Benchmarks.gz	Jun 22, 2019, 9:21:17 AM	35.80 KiB
	Core_DOM.db	Jun 22, 2019, 9:05:54 AM	44.00 KiB
	Core_DOM.gz	Jun 22, 2019, 9:05:54 AM	17.04 KiB
	Corec.db	Jun 22, 2019, 9:36:16 AM	24.00 KiB
	Corec.gz	Jun 22, 2019, 9:36:16 AM	3.53 KiB
	CoreC++.db	Jun 22, 2019, 9:21:55 AM	32.00 KiB
	CoreC++.gz	Jun 22, 2019, 9:21:55 AM	46.13 KiB
	Count_Complex_Roots.db	Jun 22, 2019, 9:11:58 AM	32.00 KiB
	Count_Complex_Roots.gz	Jun 22, 2019, 9:11:58 AM	5.77 KiB
	CRDT.db	Jun 22, 2019, 9:45:05 AM	20.00 KiB
	CRDT.gz	Jun 22, 2019, 9:45:05 AM	1.36 KiB
	CryptHOL.db	Jun 22, 2019, 9:03:10 AM	32.00 KiB
	CryptHOL.gz	Jun 22, 2019, 9:03:09 AM	12.98 KiB
	CryptoBasedCompositionalProperties.db	Jun 22, 2019, 9:50:59 AM	20.00 KiB
	CryptoBasedCompositionalProperties.gz	Jun 22, 2019, 9:50:59 AM	460 B
	CTT.db	Jun 4, 2019, 10:47:13 PM	20.00 KiB
	CTT.gz	Jun 4, 2019, 10:47:13 PM	1.79 KiB
	Cube.db	Jun 4, 2019, 10:47:10 PM	20.00 KiB
	Cube.gz	Jun 4, 2019, 10:47:10 PM	201 B
	CYK.db	Jun 22, 2019, 9:52:27 AM	20.00 KiB
	CYK.gz	Jun 22, 2019, 9:52:27 AM	308 B
	DataRefinementIBP.db	Jun 22, 2019, 9:52:35 AM	20.00 KiB
	DataRefinementIBP.gz	Jun 22, 2019, 9:52:35 AM	1.08 KiB
	Datatype_Order_Generator.db	Jun 22, 2019, 9:16:48 AM	32.00 KiB
	Datatype_Order_Generator.gz	Jun 22, 2019, 9:16:48 AM	6.69 KiB
	Datatypes.db	Jun 22, 2019, 9:24:18 AM	24.00 KiB
	Datatypes.gz	Jun 22, 2019, 9:24:18 AM	5.09 KiB
	Decl_Sem_Fun_PL.db	Jun 22, 2019, 9:46:52 AM	24.00 KiB
	Decl_Sem_Fun_PL.gz	Jun 22, 2019, 9:46:52 AM	13.00 KiB
	Decreasing-Diagrams.db	Jun 22, 2019, 9:50:09 AM	20.00 KiB
	Decreasing-Diagrams.gz	Jun 22, 2019, 9:50:09 AM	439 B
	Decreasing-Diagrams-II.db	Jun 22, 2019, 9:50:23 AM	20.00 KiB
	Decreasing-Diagrams-II.gz	Jun 22, 2019, 9:50:23 AM	1.57 KiB
	Deep_Learning.db	Jun 22, 2019, 9:18:49 AM	40.00 KiB
	Deep_Learning.gz	Jun 22, 2019, 9:18:49 AM	10.37 KiB
	Density_Compiler.db	Jun 22, 2019, 9:24:45 AM	28.00 KiB
	Density_Compiler.gz	Jun 22, 2019, 9:24:45 AM	5.66 KiB
	Dependent_SIFUM_Refinement.db	Jun 22, 2019, 9:26:29 AM	32.00 KiB
	Dependent_SIFUM_Refinement.gz	Jun 22, 2019, 9:26:29 AM	6.75 KiB
	Dependent_SIFUM_Type_Systems.db	Jun 22, 2019, 9:08:06 AM	28.00 KiB
	Dependent_SIFUM_Type_Systems.gz	Jun 22, 2019, 9:08:06 AM	28.08 KiB
	Depth-First-Search.db	Jun 22, 2019, 9:52:59 AM	20.00 KiB
	Depth-First-Search.gz	Jun 22, 2019, 9:52:59 AM	354 B
	Derangements.db	Jun 22, 2019, 9:50:04 AM	20.00 KiB
	Derangements.gz	Jun 22, 2019, 9:50:04 AM	1.81 KiB
	Deriving.db	Jun 22, 2019, 8:55:23 AM	36.00 KiB
	Deriving.gz	Jun 22, 2019, 8:55:23 AM	8.27 KiB
	Descartes_Sign_Rule.db	Jun 22, 2019, 9:52:48 AM	20.00 KiB
	Descartes_Sign_Rule.gz	Jun 22, 2019, 9:52:48 AM	245 B
	DFS_Framework.db	Jun 22, 2019, 9:17:22 AM	32.00 KiB
	DFS_Framework.gz	Jun 22, 2019, 9:17:22 AM	10.97 KiB
	Dict_Construction.db	Jun 22, 2019, 9:42:52 AM	24.00 KiB
	Dict_Construction.gz	Jun 22, 2019, 9:42:52 AM	11.21 KiB
	Differential_Dynamic_Logic.db	Jun 22, 2019, 9:07:27 AM	36.00 KiB
	Differential_Dynamic_Logic.gz	Jun 22, 2019, 9:07:27 AM	20.60 KiB
	Dijkstra_Shortest_Path.db	Jun 22, 2019, 9:37:30 AM	124.00 KiB
	Dijkstra_Shortest_Path.gz	Jun 22, 2019, 9:37:30 AM	30.06 KiB
	Diophantine_Eqns_Lin_Hom.db	Jun 22, 2019, 9:48:06 AM	644.00 KiB
	Diophantine_Eqns_Lin_Hom.gz	Jun 22, 2019, 9:48:06 AM	926 B
	Dirichlet_L.db	Jun 22, 2019, 9:38:38 AM	28.00 KiB
	Dirichlet_L.gz	Jun 22, 2019, 9:38:38 AM	3.51 KiB
	Dirichlet_Series.db	Jun 22, 2019, 8:56:28 AM	40.00 KiB
	Dirichlet_Series.gz	Jun 22, 2019, 8:56:28 AM	22.09 KiB
	Discrete_Summation.db	Jun 22, 2019, 9:52:42 AM	20.00 KiB
	Discrete_Summation.gz	Jun 22, 2019, 9:52:42 AM	831 B
	DiscretePricing.db	Jun 22, 2019, 9:37:46 AM	28.00 KiB
	DiscretePricing.gz	Jun 22, 2019, 9:37:46 AM	1.13 KiB
	DiskPaxos.db	Jun 22, 2019, 9:46:04 AM	24.00 KiB
	DiskPaxos.gz	Jun 22, 2019, 9:46:04 AM	444 B
	DPT-SAT-Solver.db	Jun 22, 2019, 9:52:23 AM	20.00 KiB
	DPT-SAT-Solver.gz	Jun 22, 2019, 9:52:23 AM	1.69 KiB
	Dynamic_Tables.db	Jun 22, 2019, 9:52:06 AM	20.00 KiB
	Dynamic_Tables.gz	Jun 22, 2019, 9:52:06 AM	557 B
	DynamicArchitectures.db	Jun 22, 2019, 9:43:50 AM	20.00 KiB
	DynamicArchitectures.gz	Jun 22, 2019, 9:43:50 AM	412 B
	E_Transcendental.db	Jun 22, 2019, 9:15:30 AM	32.00 KiB
	E_Transcendental.gz	Jun 22, 2019, 9:15:30 AM	5.33 KiB
	Echelon_Form.db	Jun 22, 2019, 8:54:18 AM	60.00 KiB
	Echelon_Form.gz	Jun 22, 2019, 8:54:18 AM	7.59 KiB
	EdmondsKarp_Maxflow.db	Jun 22, 2019, 9:34:28 AM	24.00 KiB
	EdmondsKarp_Maxflow.gz	Jun 22, 2019, 9:34:28 AM	20.13 KiB
	Efficient-Mergesort.db	Jun 22, 2019, 9:50:55 AM	20.00 KiB
	Efficient-Mergesort.gz	Jun 22, 2019, 9:50:55 AM	405 B
	Eisbach.db	Jun 22, 2019, 9:52:41 AM	20.00 KiB
	Eisbach.gz	Jun 22, 2019, 9:52:41 AM	964 B
	Elliptic_Curves_Group_Law.db	Jun 22, 2019, 9:40:42 AM	24.00 KiB
	Elliptic_Curves_Group_Law.gz	Jun 22, 2019, 9:40:42 AM	2.48 KiB
	Encodability_Process_Calculi.db	Jun 22, 2019, 9:41:18 AM	28.00 KiB
	Encodability_Process_Calculi.gz	Jun 22, 2019, 9:41:18 AM	933 B
	Epistemic_Logic.db	Jun 22, 2019, 9:52:02 AM	20.00 KiB
	Epistemic_Logic.gz	Jun 22, 2019, 9:52:02 AM	462 B
	Ergodic_Theory.db	Jun 22, 2019, 9:37:49 AM	28.00 KiB
	Ergodic_Theory.gz	Jun 22, 2019, 9:37:49 AM	3.04 KiB
	Error_Function.db	Jun 22, 2019, 9:50:42 AM	20.00 KiB
	Error_Function.gz	Jun 22, 2019, 9:50:42 AM	2.69 KiB
	Euler_MacLaurin.db	Jun 22, 2019, 9:48:42 AM	20.00 KiB
	Euler_MacLaurin.gz	Jun 22, 2019, 9:48:42 AM	3.25 KiB
	Euler_Partition.db	Jun 22, 2019, 9:50:49 AM	20.00 KiB
	Euler_Partition.gz	Jun 22, 2019, 9:50:49 AM	1.79 KiB
	Example-Submission.db	Jun 22, 2019, 9:53:04 AM	20.00 KiB
	Example-Submission.gz	Jun 22, 2019, 9:53:04 AM	201 B
	Factored_Transition_System_Bounding.db	Jun 22, 2019, 9:33:48 AM	28.00 KiB
	Factored_Transition_System_Bounding.gz	Jun 22, 2019, 9:33:48 AM	4.21 KiB
	Falling_Factorial_Sum.db	Jun 22, 2019, 9:52:30 AM	20.00 KiB
	Falling_Factorial_Sum.gz	Jun 22, 2019, 9:52:30 AM	1.09 KiB
	Farkas.db	Jun 22, 2019, 9:37:43 AM	28.00 KiB
	Farkas.gz	Jun 22, 2019, 9:37:43 AM	4.80 KiB
	Featherweight_OCL.db	Jun 22, 2019, 9:18:48 AM	32.00 KiB
	Featherweight_OCL.gz	Jun 22, 2019, 9:18:48 AM	31.80 KiB
	FeatherweightJava.db	Jun 22, 2019, 9:51:05 AM	20.00 KiB
	FeatherweightJava.gz	Jun 22, 2019, 9:51:05 AM	4.60 KiB
	Fermat3_4.db	Jun 22, 2019, 9:50:57 AM	20.00 KiB
	Fermat3_4.gz	Jun 22, 2019, 9:50:57 AM	357 B
	FFT.db	Jun 22, 2019, 9:53:00 AM	20.00 KiB
	FFT.gz	Jun 22, 2019, 9:53:00 AM	292 B
	FileRefinement.db	Jun 22, 2019, 9:51:40 AM	20.00 KiB
	FileRefinement.gz	Jun 22, 2019, 9:51:40 AM	326 B
	FinFun.db	Jun 22, 2019, 9:51:48 AM	20.00 KiB
	FinFun.gz	Jun 22, 2019, 9:51:48 AM	1.62 KiB
	Finger-Trees.db	Jun 22, 2019, 9:48:50 AM	40.00 KiB
	Finger-Trees.gz	Jun 22, 2019, 9:48:50 AM	1.52 KiB
	Finite_Automata_HF.db	Jun 22, 2019, 9:49:27 AM	20.00 KiB
	Finite_Automata_HF.gz	Jun 22, 2019, 9:49:27 AM	1.31 KiB
	First_Order_Terms.db	Jun 22, 2019, 9:51:37 AM	20.00 KiB
	First_Order_Terms.gz	Jun 22, 2019, 9:51:37 AM	945 B
	First_Welfare_Theorem.db	Jun 22, 2019, 9:51:46 AM	20.00 KiB
	First_Welfare_Theorem.gz	Jun 22, 2019, 9:51:46 AM	863 B
	Fishburn_Impossibility.db	Jun 22, 2019, 9:48:29 AM	24.00 KiB
	Fishburn_Impossibility.gz	Jun 22, 2019, 9:48:29 AM	3.42 KiB
	Fisher_Yates.db	Jun 22, 2019, 9:52:37 AM	20.00 KiB
	Fisher_Yates.gz	Jun 22, 2019, 9:52:37 AM	611 B
	Flow_Networks.db	Jun 22, 2019, 8:58:30 AM	32.00 KiB
	Flow_Networks.gz	Jun 22, 2019, 8:58:30 AM	15.54 KiB
	Floyd_Warshall.db	Jun 22, 2019, 9:50:18 AM	20.00 KiB
	Floyd_Warshall.gz	Jun 22, 2019, 9:50:18 AM	1.64 KiB
	FLP.db	Jun 22, 2019, 9:48:56 AM	20.00 KiB
	FLP.gz	Jun 22, 2019, 9:48:56 AM	999 B
	Flyspeck-Tame.db	Jun 22, 2019, 9:28:24 AM	32.00 KiB
	Flyspeck-Tame.gz	Jun 22, 2019, 9:28:24 AM	15.81 KiB
	FocusStreamsCaseStudies.db	Jun 22, 2019, 9:48:08 AM	20.00 KiB
	FocusStreamsCaseStudies.gz	Jun 22, 2019, 9:48:08 AM	948 B
	FOL_Harrison.db	Jun 22, 2019, 9:48:16 AM	28.00 KiB
	FOL_Harrison.gz	Jun 22, 2019, 9:48:16 AM	10.02 KiB
	FOL.db	Jun 4, 2019, 10:47:14 PM	20.00 KiB
	FOL.gz	Jun 4, 2019, 10:47:14 PM	11.00 KiB
	FOL-ex.db	Jun 4, 2019, 10:47:23 PM	20.00 KiB
	FOL-ex.gz	Jun 4, 2019, 10:47:23 PM	7.90 KiB
	FOL-Fitting.db	Jun 22, 2019, 9:48:18 AM	20.00 KiB
	FOL-Fitting.gz	Jun 22, 2019, 9:48:18 AM	16.09 KiB
	FOLP.db	Jun 4, 2019, 10:47:08 PM	20.00 KiB
	FOLP.gz	Jun 4, 2019, 10:47:08 PM	4.01 KiB
	FOLP-ex.db	Jun 4, 2019, 10:47:12 PM	20.00 KiB
	FOLP-ex.gz	Jun 4, 2019, 10:47:12 PM	1.65 KiB
	Formal_SSA.db	Jun 22, 2019, 8:56:34 AM	52.00 KiB
	Formal_SSA.gz	Jun 22, 2019, 8:56:34 AM	57.05 KiB
	Formula_Derivatives.db	Jun 22, 2019, 9:01:14 AM	40.00 KiB
	Formula_Derivatives.gz	Jun 22, 2019, 9:01:14 AM	4.83 KiB
	Formula_Derivatives-Examples.db	Jun 22, 2019, 9:46:13 AM	24.00 KiB
	Formula_Derivatives-Examples.gz	Jun 22, 2019, 9:46:13 AM	2.93 KiB
	Free-Boolean-Algebra.db	Jun 22, 2019, 9:52:59 AM	20.00 KiB
	Free-Boolean-Algebra.gz	Jun 22, 2019, 9:52:59 AM	515 B
	Free-Groups.db	Jun 22, 2019, 9:38:40 AM	28.00 KiB
	Free-Groups.gz	Jun 22, 2019, 9:38:40 AM	6.02 KiB
	Functional_Ordered_Resolution_Prover.db	Jun 22, 2019, 9:27:36 AM	36.00 KiB
	Functional_Ordered_Resolution_Prover.gz	Jun 22, 2019, 9:27:36 AM	13.40 KiB
	Functional-Automata.db	Jun 22, 2019, 9:49:14 AM	20.00 KiB
	Functional-Automata.gz	Jun 22, 2019, 9:49:14 AM	1.66 KiB
	Functions.db	Jun 22, 2019, 9:52:33 AM	20.00 KiB
	Functions.gz	Jun 22, 2019, 9:52:33 AM	528 B
	FunWithFunctions.db	Jun 22, 2019, 9:52:57 AM	20.00 KiB
	FunWithFunctions.gz	Jul 4, 2019, 5:53:27 PM	201 B
	FunWithTilings.db	Jun 22, 2019, 9:49:52 AM	20.00 KiB
	FunWithTilings.gz	Jun 22, 2019, 9:49:52 AM	397 B
	Gabow_SCC.db	Jun 22, 2019, 9:25:34 AM	28.00 KiB
	Gabow_SCC.gz	Jun 22, 2019, 9:25:34 AM	5.79 KiB
	Game_Based_Crypto.db	Jun 22, 2019, 9:15:38 AM	24.00 KiB
	Game_Based_Crypto.gz	Jun 22, 2019, 9:15:38 AM	9.33 KiB
	Gauss_Jordan.db	Jun 22, 2019, 9:33:13 AM	56.00 KiB
	Gauss_Jordan.gz	Jun 22, 2019, 9:33:13 AM	5.00 KiB
	Gauss-Jordan-Elim-Fun.db	Jun 22, 2019, 9:52:44 AM	20.00 KiB
	Gauss-Jordan-Elim-Fun.gz	Jun 22, 2019, 9:52:44 AM	268 B
	GenClock.db	Jun 22, 2019, 9:52:43 AM	20.00 KiB
	GenClock.gz	Jun 22, 2019, 9:52:43 AM	277 B
	General-Triangle.db	Jun 22, 2019, 9:53:03 AM	20.00 KiB
	General-Triangle.gz	Jun 22, 2019, 9:53:03 AM	199 B
	Generic_Deriving.db	Jun 22, 2019, 9:41:00 AM	24.00 KiB
	Generic_Deriving.gz	Jun 22, 2019, 9:41:00 AM	3.76 KiB
	GewirthPGCProof.db	Jun 22, 2019, 9:45:17 AM	20.00 KiB
	GewirthPGCProof.gz	Jun 22, 2019, 9:45:17 AM	3.04 KiB
	Girth_Chromatic.db	Jun 22, 2019, 9:35:25 AM	24.00 KiB
	Girth_Chromatic.gz	Jun 22, 2019, 9:35:25 AM	3.56 KiB
	GoedelGod.db	Jun 22, 2019, 9:51:25 AM	20.00 KiB
	GoedelGod.gz	Jun 22, 2019, 9:51:25 AM	255 B
	GPU_Kernel_PL.db	Jun 22, 2019, 9:51:28 AM	20.00 KiB
	GPU_Kernel_PL.gz	Jun 22, 2019, 9:51:28 AM	729 B
	Graph_Saturation.db	Jun 22, 2019, 9:46:13 AM	24.00 KiB
	Graph_Saturation.gz	Jun 22, 2019, 9:46:13 AM	861 B
	Graph_Theory.db	Jun 22, 2019, 9:44:27 AM	24.00 KiB
	Graph_Theory.gz	Jun 22, 2019, 9:44:27 AM	1.68 KiB
	GraphMarkingIBP.db	Jun 22, 2019, 9:49:35 AM	20.00 KiB
	GraphMarkingIBP.gz	Jun 22, 2019, 9:49:35 AM	1.56 KiB
	Green.db	Jun 22, 2019, 9:37:43 AM	28.00 KiB
	Green.gz	Jun 22, 2019, 9:37:43 AM	1.95 KiB
	Groebner_Bases.db	Jun 22, 2019, 8:49:09 AM	56.00 KiB
	Groebner_Bases.gz	Jun 22, 2019, 8:49:09 AM	36.48 KiB
	Gromov_Hyperbolicity.db	Jun 22, 2019, 9:26:32 AM	32.00 KiB
	Gromov_Hyperbolicity.gz	Jun 22, 2019, 9:26:32 AM	6.20 KiB
	Group-Ring-Module.db	Jun 22, 2019, 9:09:29 AM	36.00 KiB
	Group-Ring-Module.gz	Jun 22, 2019, 9:09:29 AM	3.21 KiB
	Haskell.db	Jun 4, 2019, 10:47:12 PM	44.00 KiB
	Haskell.gz	Jun 4, 2019, 10:47:12 PM	270 B
	Heard_Of.db	Jun 22, 2019, 9:46:16 AM	24.00 KiB
	Heard_Of.gz	Jun 22, 2019, 9:46:16 AM	2.94 KiB
	HereditarilyFinite.db	Jun 22, 2019, 8:39:30 AM	20.00 KiB
	HereditarilyFinite.gz	Jun 22, 2019, 8:39:30 AM	967 B
	Hermite.db	Jun 22, 2019, 9:28:00 AM	28.00 KiB
	Hermite.gz	Jun 22, 2019, 9:28:00 AM	667 B
	Hidden_Markov_Models.db	Jun 22, 2019, 9:35:58 AM	24.00 KiB
	Hidden_Markov_Models.gz	Jun 22, 2019, 9:35:58 AM	7.80 KiB
	Higher_Order_Terms.db	Jun 22, 2019, 9:41:23 AM	24.00 KiB
	Higher_Order_Terms.gz	Jun 22, 2019, 9:41:23 AM	10.70 KiB
	Hoare_Time.db	Jun 22, 2019, 9:30:07 AM	32.00 KiB
	Hoare_Time.gz	Jun 22, 2019, 9:30:07 AM	62.11 KiB
	HOL	Jun 22, 2019, 3:50:09 PM	1.12 MiB
	HOL.db	Jun 22, 2019, 3:50:09 PM	48.00 KiB
	HOL-Algebra.db	Jun 22, 2019, 8:39:10 AM	44.00 KiB
	HOL-Algebra.gz	Jun 22, 2019, 8:39:09 AM	5.93 KiB
	HOL-Analysis.db	Jun 22, 2019, 8:42:32 AM	104.00 KiB
	HOL-Analysis.gz	Jun 22, 2019, 8:42:32 AM	34.67 KiB
	HOL-Analysis-ex.db	Jun 22, 2019, 9:47:39 AM	20.00 KiB
	HOL-Analysis-ex.gz	Jun 22, 2019, 9:47:39 AM	222 B
	HOL-Auth.db	Jun 22, 2019, 9:17:52 AM	36.00 KiB
	HOL-Auth.gz	Jun 22, 2019, 9:17:52 AM	16.39 KiB
	HOL-Bali.db	Jun 22, 2019, 9:31:42 AM	28.00 KiB
	HOL-Bali.gz	Jun 22, 2019, 9:31:42 AM	15.81 KiB
	HOL-Cardinals.db	Jun 22, 2019, 9:26:22 AM	20.00 KiB
	HOL-Cardinals.gz	Jun 22, 2019, 9:26:22 AM	736 B
	HOLCF.db	Jun 22, 2019, 9:00:59 AM	20.00 KiB
	HOLCF.gz	Jun 22, 2019, 9:00:59 AM	6.06 KiB
	HOLCF-ex.db	Jun 22, 2019, 9:52:31 AM	20.00 KiB
	HOLCF-ex.gz	Jun 22, 2019, 9:52:31 AM	3.03 KiB
	HOLCF-FOCUS.db	Jun 22, 2019, 9:52:31 AM	20.00 KiB
	HOLCF-FOCUS.gz	Jun 22, 2019, 9:52:31 AM	243 B
	HOLCF-IMP.db	Jun 22, 2019, 9:52:01 AM	20.00 KiB
	HOLCF-IMP.gz	Jun 22, 2019, 9:52:01 AM	1.57 KiB
	HOLCF-Library.db	Jun 22, 2019, 9:41:23 AM	20.00 KiB
	HOLCF-Library.gz	Jun 22, 2019, 9:41:23 AM	2.14 KiB
	HOLCF-Prelude.db	Jun 22, 2019, 9:45:07 AM	24.00 KiB
	HOLCF-Prelude.gz	Jun 22, 2019, 9:45:07 AM	6.17 KiB
	HOLCF-Tutorial.db	Jun 22, 2019, 9:49:50 AM	20.00 KiB
	HOLCF-Tutorial.gz	Jun 22, 2019, 9:49:50 AM	2.07 KiB
	HOL-Codegenerator_Test.db	Jun 22, 2019, 8:48:39 AM	40.00 KiB
	HOL-Codegenerator_Test.gz	Jun 22, 2019, 8:48:39 AM	157.98 KiB
	HOL-Computational_Algebra.db	Jun 22, 2019, 8:35:33 AM	28.00 KiB
	HOL-Computational_Algebra.gz	Jun 22, 2019, 8:35:33 AM	3.29 KiB
	HOL-Corec_Examples.db	Jun 22, 2019, 9:09:06 AM	32.00 KiB
	HOL-Corec_Examples.gz	Jun 22, 2019, 9:09:06 AM	2.90 KiB
	HOL-CSP.db	Jun 22, 2019, 9:06:03 AM	44.00 KiB
	HOL-CSP.gz	Jun 22, 2019, 9:06:03 AM	1.53 KiB
	HOL-Data_Structures.db	Jun 22, 2019, 8:36:02 AM	48.00 KiB
	HOL-Data_Structures.gz	Jun 22, 2019, 8:36:02 AM	4.87 KiB
	HOL-Datatype_Examples.db	Jun 22, 2019, 9:28:19 AM	28.00 KiB
	HOL-Datatype_Examples.gz	Jun 22, 2019, 9:28:19 AM	5.57 KiB
	HOL-Decision_Procs.db	Jun 22, 2019, 8:47:16 AM	64.00 KiB
	HOL-Decision_Procs.gz	Jun 22, 2019, 8:47:16 AM	6.46 KiB
	HOL-Eisbach.db	Jun 22, 2019, 9:47:55 AM	20.00 KiB
	HOL-Eisbach.gz	Jun 22, 2019, 9:47:55 AM	12.34 KiB
	HOL-ex.db	Jun 22, 2019, 8:49:06 AM	56.00 KiB
	HOL-ex.gz	Jun 22, 2019, 8:49:06 AM	99.76 KiB
	HOL-Hahn_Banach.db	Jun 22, 2019, 9:52:28 AM	20.00 KiB
	HOL-Hahn_Banach.gz	Jun 22, 2019, 9:52:28 AM	1.01 KiB
	HOL-Hoare_Parallel.db	Jun 22, 2019, 9:28:02 AM	32.00 KiB
	HOL-Hoare_Parallel.gz	Jun 22, 2019, 9:28:02 AM	10.99 KiB
	HOL-Hoare.db	Jun 22, 2019, 9:46:18 AM	20.00 KiB
	HOL-Hoare.gz	Jun 22, 2019, 9:46:17 AM	7.87 KiB
	HOL-Homology.db	Jun 22, 2019, 9:25:51 AM	36.00 KiB
	HOL-Homology.gz	Jun 22, 2019, 9:25:51 AM	7.99 KiB
	HOL-IMP.db	Jun 22, 2019, 9:31:39 AM	32.00 KiB
	HOL-IMP.gz	Jun 22, 2019, 9:31:39 AM	22.46 KiB
	HOL-Imperative_HOL.db	Jun 22, 2019, 9:39:10 AM	24.00 KiB
	HOL-Imperative_HOL.gz	Jun 22, 2019, 9:39:10 AM	5.04 KiB
	HOL-Import.db	Jun 22, 2019, 9:52:56 AM	20.00 KiB
	HOL-Import.gz	Jun 22, 2019, 9:52:56 AM	677 B
	HOL-IMPP.db	Jun 22, 2019, 9:52:12 AM	20.00 KiB
	HOL-IMPP.gz	Jun 22, 2019, 9:52:12 AM	1.14 KiB
	HOL-Induct.db	Jun 22, 2019, 9:50:42 AM	20.00 KiB
	HOL-Induct.gz	Jun 22, 2019, 9:50:42 AM	2.15 KiB
	HOL-IOA.db	Jun 22, 2019, 9:52:39 AM	20.00 KiB
	HOL-IOA.gz	Jun 22, 2019, 9:52:39 AM	170 B
	HOL-Isar_Examples.db	Jun 22, 2019, 9:52:31 AM	20.00 KiB
	HOL-Isar_Examples.gz	Jun 22, 2019, 9:52:31 AM	1.36 KiB
	HOL-Lattice.db	Jun 22, 2019, 9:52:47 AM	20.00 KiB
	HOL-Lattice.gz	Jun 22, 2019, 9:52:47 AM	761 B
	HOL-Library.db	Jun 22, 2019, 8:33:56 AM	40.00 KiB
	HOL-Library.gz	Jun 22, 2019, 8:33:56 AM	31.84 KiB
	HOL-Matrix_LP.db	Jun 22, 2019, 9:51:20 AM	20.00 KiB
	HOL-Matrix_LP.gz	Jun 22, 2019, 9:51:20 AM	4.34 KiB
	HOL-Metis_Examples.db	Jun 22, 2019, 9:46:29 AM	24.00 KiB
	HOL-Metis_Examples.gz	Jun 22, 2019, 9:46:29 AM	3.61 KiB
	HOL-MicroJava.db	Jun 22, 2019, 9:30:09 AM	32.00 KiB
	HOL-MicroJava.gz	Jun 22, 2019, 9:30:09 AM	9.59 KiB
	HOL-Mirabelle.db	Jun 22, 2019, 9:50:19 AM	20.00 KiB
	HOL-Mirabelle.gz	Jun 22, 2019, 9:50:19 AM	925 B
	HOL-Mirabelle-ex.db	Jun 22, 2019, 9:50:35 AM	20.00 KiB
	HOL-Mirabelle-ex.gz	Jun 22, 2019, 9:50:35 AM	1.36 KiB
	HOL-Mutabelle.db	Jun 22, 2019, 9:52:58 AM	20.00 KiB
	HOL-Mutabelle.gz	Jun 22, 2019, 9:52:58 AM	1.02 KiB
	HOL-NanoJava.db	Jun 22, 2019, 9:52:00 AM	20.00 KiB
	HOL-NanoJava.gz	Jun 22, 2019, 9:52:00 AM	1.82 KiB
	HOL-Nitpick_Examples.db	Jun 22, 2019, 9:15:23 AM	36.00 KiB
	HOL-Nitpick_Examples.gz	Jun 22, 2019, 9:15:23 AM	57.45 KiB
	HOL-Nominal.db	Jun 22, 2019, 8:41:11 AM	20.00 KiB
	HOL-Nominal.gz	Jun 22, 2019, 8:41:11 AM	3.42 KiB
	HOL-Nominal-Examples.db	Jun 22, 2019, 8:49:28 AM	56.00 KiB
	HOL-Nominal-Examples.gz	Jun 22, 2019, 8:49:28 AM	86.08 KiB
	HOL-Nonstandard_Analysis.db	Jun 22, 2019, 9:50:30 AM	20.00 KiB
	HOL-Nonstandard_Analysis.gz	Jun 22, 2019, 9:50:30 AM	1.46 KiB
	HOL-Nonstandard_Analysis-Examples.db	Jun 22, 2019, 9:52:43 AM	20.00 KiB
	HOL-Nonstandard_Analysis-Examples.gz	Jun 22, 2019, 9:52:43 AM	172 B
	HOL-Number_Theory.db	Jun 22, 2019, 8:40:55 AM	28.00 KiB
	HOL-Number_Theory.gz	Jun 22, 2019, 8:40:55 AM	4.33 KiB
	HOL-ODE-ARCH-COMP.db	Jun 22, 2019, 9:19:36 AM	52.00 KiB
	HOL-ODE-ARCH-COMP.gz	Jun 22, 2019, 9:19:36 AM	2.94 KiB
	HOL-ODE-Examples.db	Jun 22, 2019, 9:18:58 AM	52.00 KiB
	HOL-ODE-Examples.gz	Jun 22, 2019, 9:18:57 AM	289.77 KiB
	HOL-ODE-Numerics.db	Jun 22, 2019, 9:08:31 AM	148.00 KiB
	HOL-ODE-Numerics.gz	Jun 22, 2019, 9:08:31 AM	63.79 KiB
	HOL-Predicate_Compile_Examples.db	Jun 22, 2019, 9:36:04 AM	28.00 KiB
	HOL-Predicate_Compile_Examples.gz	Jun 22, 2019, 9:36:04 AM	36.75 KiB
	HOL-Probability.db	Jun 22, 2019, 8:50:16 AM	36.00 KiB
	HOL-Probability.gz	Jun 22, 2019, 8:50:16 AM	11.21 KiB
	HOL-Probability-ex.db	Jun 22, 2019, 9:51:09 AM	20.00 KiB
	HOL-Probability-ex.gz	Jun 22, 2019, 9:51:09 AM	3.37 KiB
	HOL-Prolog.db	Jun 22, 2019, 9:53:00 AM	20.00 KiB
	HOL-Prolog.gz	Jun 22, 2019, 9:53:00 AM	465 B
	HOL-Proofs.db	Jun 22, 2019, 3:56:58 PM	64.00 KiB
	HOL-Proofs.gz	Jun 22, 2019, 3:56:58 PM	142.25 KiB
	HOL-Proofs-ex.db	Jun 22, 2019, 3:57:00 PM	20.00 KiB
	HOL-Proofs-ex.gz	Jun 22, 2019, 3:57:00 PM	6.75 KiB
	HOL-Proofs-Extraction.db	Jun 22, 2019, 3:58:32 PM	28.00 KiB
	HOL-Proofs-Extraction.gz	Jun 22, 2019, 3:58:32 PM	4.66 KiB
	HOL-Proofs-Lambda.db	Jun 22, 2019, 3:58:50 PM	24.00 KiB
	HOL-Proofs-Lambda.gz	Jun 22, 2019, 3:58:50 PM	3.10 KiB
	HOL-Quickcheck_Examples.db	Jun 22, 2019, 9:26:06 AM	28.00 KiB
	HOL-Quickcheck_Examples.gz	Jun 22, 2019, 9:26:06 AM	6.34 KiB
	HOL-Quotient_Examples.db	Jun 22, 2019, 9:42:58 AM	20.00 KiB
	HOL-Quotient_Examples.gz	Jun 22, 2019, 9:42:58 AM	2.71 KiB
	HOL-Real_Asymp.db	Jun 22, 2019, 9:33:24 AM	28.00 KiB
	HOL-Real_Asymp.gz	Jun 22, 2019, 9:33:24 AM	13.46 KiB
	HOL-Real_Asymp-Manual.db	Jun 22, 2019, 9:53:02 AM	20.00 KiB
	HOL-Real_Asymp-Manual.gz	Jun 22, 2019, 9:53:02 AM	265 B
	HOL-SET_Protocol.db	Jun 22, 2019, 9:42:27 AM	24.00 KiB
	HOL-SET_Protocol.gz	Jun 22, 2019, 9:42:27 AM	2.99 KiB
	HOL-SPARK.db	Jun 22, 2019, 9:48:20 AM	20.00 KiB
	HOL-SPARK.gz	Jun 22, 2019, 9:48:20 AM	1.43 KiB
	HOL-SPARK-Examples.db	Jun 22, 2019, 9:49:42 AM	20.00 KiB
	HOL-SPARK-Examples.gz	Jun 22, 2019, 9:49:42 AM	1.04 KiB
	HOL-SPARK-Manual.db	Jun 22, 2019, 9:52:26 AM	20.00 KiB
	HOL-SPARK-Manual.gz	Jun 22, 2019, 9:52:26 AM	689 B
	HOL-Statespace.db	Jun 22, 2019, 9:48:01 AM	20.00 KiB
	HOL-Statespace.gz	Jun 22, 2019, 9:48:01 AM	1.95 KiB
	HOL-TLA.db	Jun 22, 2019, 9:50:12 AM	20.00 KiB
	HOL-TLA.gz	Jun 22, 2019, 9:50:12 AM	605 B
	HOL-TLA-Buffer.db	Jun 22, 2019, 9:53:00 AM	20.00 KiB
	HOL-TLA-Buffer.gz	Jun 22, 2019, 9:53:00 AM	141 B
	HOL-TLA-Inc.db	Jun 22, 2019, 9:52:45 AM	20.00 KiB
	HOL-TLA-Inc.gz	Jun 22, 2019, 9:52:45 AM	218 B
	HOL-TLA-Memory.db	Jun 22, 2019, 9:50:49 AM	20.00 KiB
	HOL-TLA-Memory.gz	Jun 22, 2019, 9:50:49 AM	796 B
	HOL-TPTP.db	Jun 22, 2019, 9:51:56 AM	20.00 KiB
	HOL-TPTP.gz	Jun 22, 2019, 9:51:56 AM	13.35 KiB
	HOL-Types_To_Sets.db	Jun 22, 2019, 9:48:56 AM	20.00 KiB
	HOL-Types_To_Sets.gz	Jun 22, 2019, 9:48:56 AM	11.06 KiB
	HOL-UNITY.db	Jun 22, 2019, 9:44:32 AM	24.00 KiB
	HOL-UNITY.gz	Jun 22, 2019, 9:44:32 AM	3.50 KiB
	HOL-Unix.db	Jun 22, 2019, 9:52:03 AM	20.00 KiB
	HOL-Unix.gz	Jun 22, 2019, 9:52:03 AM	490 B
	HOL-Word.db	Jun 22, 2019, 8:30:43 AM	20.00 KiB
	HOL-Word.gz	Jun 22, 2019, 8:30:43 AM	4.56 KiB
	HOL-Word-SMT_Examples.db	Jun 22, 2019, 9:32:51 AM	24.00 KiB
	HOL-Word-SMT_Examples.gz	Jun 22, 2019, 9:32:51 AM	1.38 KiB
	HOL-ZF.db	Jun 22, 2019, 9:52:41 AM	20.00 KiB
	HOL-ZF.gz	Jun 22, 2019, 9:52:41 AM	1021 B
	HotelKeyCards.db	Jun 22, 2019, 9:52:12 AM	20.00 KiB
	HotelKeyCards.gz	Jun 22, 2019, 9:52:12 AM	575 B
	How_to_Prove_it.db	Jun 22, 2019, 9:53:03 AM	20.00 KiB
	How_to_Prove_it.gz	Jun 22, 2019, 9:53:03 AM	181 B
	HRB-Slicing.db	Jun 22, 2019, 8:55:50 AM	48.00 KiB
	HRB-Slicing.gz	Jun 22, 2019, 8:55:49 AM	148.00 KiB
	Huffman.db	Jun 22, 2019, 9:51:25 AM	20.00 KiB
	Huffman.gz	Jun 22, 2019, 9:51:25 AM	521 B
	Hybrid_Multi_Lane_Spatial_Logic.db	Jun 22, 2019, 9:43:51 AM	24.00 KiB
	Hybrid_Multi_Lane_Spatial_Logic.gz	Jun 22, 2019, 9:43:51 AM	1.05 KiB
	HyperCTL.db	Jun 22, 2019, 9:51:10 AM	20.00 KiB
	HyperCTL.gz	Jun 22, 2019, 9:51:10 AM	1.73 KiB
	IEEE_Floating_Point.db	Jun 22, 2019, 9:46:19 AM	24.00 KiB
	IEEE_Floating_Point.gz	Jun 22, 2019, 9:46:19 AM	2.70 KiB
	IMAP-CRDT.db	Jun 22, 2019, 9:48:46 AM	20.00 KiB
	IMAP-CRDT.gz	Jun 22, 2019, 9:48:46 AM	427 B
	IMP2.db	Jun 22, 2019, 9:31:40 AM	28.00 KiB
	IMP2.gz	Jun 22, 2019, 9:31:40 AM	52.58 KiB
	Imperative_Insertion_Sort.db	Jun 22, 2019, 9:52:19 AM	32.00 KiB
	Imperative_Insertion_Sort.gz	Jun 22, 2019, 9:52:19 AM	347 B
	Implementation.db	Jun 22, 2019, 9:52:41 AM	20.00 KiB
	Implementation.gz	Jun 22, 2019, 9:52:41 AM	2.27 KiB
	Impossible_Geometry.db	Jun 22, 2019, 9:51:36 AM	20.00 KiB
	Impossible_Geometry.gz	Jun 22, 2019, 9:51:36 AM	525 B
	Incompleteness.db	Jun 22, 2019, 8:49:34 AM	64.00 KiB
	Incompleteness.gz	Jun 22, 2019, 8:49:34 AM	17.81 KiB
	Incredible_Proof_Machine.db	Jun 22, 2019, 9:45:44 AM	24.00 KiB
	Incredible_Proof_Machine.gz	Jun 22, 2019, 9:45:44 AM	4.84 KiB
	Inductive_Confidentiality.db	Jun 22, 2019, 9:50:26 AM	20.00 KiB
	Inductive_Confidentiality.gz	Jun 22, 2019, 9:50:26 AM	2.63 KiB
	InformationFlowSlicing_Inter.db	Jun 22, 2019, 9:49:33 AM	20.00 KiB
	InformationFlowSlicing_Inter.gz	Jun 22, 2019, 9:49:33 AM	10.67 KiB
	InformationFlowSlicing.db	Jun 22, 2019, 9:51:52 AM	20.00 KiB
	InformationFlowSlicing.gz	Jun 22, 2019, 9:51:52 AM	3.44 KiB
	InfPathElimination.db	Jun 22, 2019, 9:28:30 AM	28.00 KiB
	InfPathElimination.gz	Jun 22, 2019, 9:28:30 AM	1.42 KiB
	Integration.db	Jun 22, 2019, 9:51:36 AM	20.00 KiB
	Integration.gz	Jun 22, 2019, 9:51:36 AM	1.32 KiB
	Intro.db	Jun 4, 2019, 10:47:13 PM	20.00 KiB
	Intro.gz	Aug 14, 2019, 9:17:14 PM	108 B
	IOA.db	Jun 22, 2019, 9:48:28 AM	20.00 KiB
	IOA.gz	Jun 22, 2019, 9:48:28 AM	2.58 KiB
	IOA-ABP.db	Jun 22, 2019, 9:52:02 AM	20.00 KiB
	IOA-ABP.gz	Jun 22, 2019, 9:52:02 AM	936 B
	IOA-ex.db	Jun 22, 2019, 9:52:58 AM	20.00 KiB
	IOA-ex.gz	Jun 22, 2019, 9:52:58 AM	118 B
	IOA-NTP.db	Jun 22, 2019, 9:51:44 AM	20.00 KiB
	IOA-NTP.gz	Jun 22, 2019, 9:51:44 AM	10.30 KiB
	IOA-Storage.db	Jun 22, 2019, 9:52:47 AM	20.00 KiB
	IOA-Storage.gz	Jun 22, 2019, 9:52:47 AM	209 B
	IP_Addresses.db	Jun 22, 2019, 8:37:01 AM	40.00 KiB
	IP_Addresses.gz	Jun 22, 2019, 8:37:01 AM	5.87 KiB
	Iptables_Semantics_Examples.db	Jun 22, 2019, 8:50:28 AM	56.00 KiB
	Iptables_Semantics_Examples.gz	Jun 22, 2019, 8:50:28 AM	73.90 KiB
	Iptables_Semantics.db	Jun 22, 2019, 8:41:42 AM	40.00 KiB
	Iptables_Semantics.gz	Jun 22, 2019, 8:41:41 AM	22.00 KiB
	Irrationality_J_Hancl.db	Jun 22, 2019, 9:35:39 AM	24.00 KiB
	Irrationality_J_Hancl.gz	Jun 22, 2019, 9:35:39 AM	3.90 KiB
	Isabelle_Meta_Model.db	Jun 22, 2019, 9:15:34 AM	32.00 KiB
	Isabelle_Meta_Model.gz	Jun 22, 2019, 9:15:34 AM	26.31 KiB
	Isar_Ref.db	Jun 22, 2019, 9:48:55 AM	20.00 KiB
	Isar_Ref.gz	Jun 22, 2019, 9:48:55 AM	7.11 KiB
	JEdit.db	Jun 22, 2019, 9:53:19 AM	20.00 KiB
	JEdit.gz	Jun 22, 2019, 9:53:19 AM	853 B
	Jinja.db	Jun 22, 2019, 8:39:55 AM	40.00 KiB
	Jinja.gz	Jun 22, 2019, 8:39:55 AM	37.94 KiB
	JiveDataStoreModel.db	Jun 22, 2019, 9:50:56 AM	20.00 KiB
	JiveDataStoreModel.gz	Jun 22, 2019, 9:50:56 AM	1.48 KiB
	JNF-AFP-Lib.db	Jun 22, 2019, 8:41:33 AM	32.00 KiB
	JNF-AFP-Lib.gz	Jun 22, 2019, 8:41:33 AM	21.71 KiB
	JNF-HOL-Lib.db	Apr 21, 2019, 9:34:42 PM	20.00 KiB
	JNF-HOL-Lib.gz	Apr 21, 2019, 9:34:42 PM	140 B
	Jordan_Hoelder.db	Jun 22, 2019, 9:50:34 AM	20.00 KiB
	Jordan_Hoelder.gz	Jun 22, 2019, 9:50:34 AM	3.28 KiB
	Jordan_Normal_Form.db	Jun 22, 2019, 8:48:25 AM	48.00 KiB
	Jordan_Normal_Form.gz	Jun 22, 2019, 8:48:25 AM	6.35 KiB
	KAD.db	Jun 22, 2019, 9:18:23 AM	32.00 KiB
	KAD.gz	Jun 22, 2019, 9:18:23 AM	3.54 KiB
	KAT_and_DRA.db	Jun 22, 2019, 8:58:27 AM	24.00 KiB
	KAT_and_DRA.gz	Jun 22, 2019, 8:58:27 AM	2.70 KiB
	KBPs.db	Jun 22, 2019, 9:26:08 AM	72.00 KiB
	KBPs.gz	Jun 22, 2019, 9:26:07 AM	3.68 KiB
	KD_Tree.db	Jun 22, 2019, 9:50:26 AM	20.00 KiB
	KD_Tree.gz	Jun 22, 2019, 9:50:26 AM	544 B
	Key_Agreement_Strong_Adversaries.db	Jun 22, 2019, 9:06:00 AM	40.00 KiB
	Key_Agreement_Strong_Adversaries.gz	Jun 22, 2019, 9:06:00 AM	2.88 KiB
	Kleene_Algebra.db	Jun 22, 2019, 8:55:48 AM	24.00 KiB
	Kleene_Algebra.gz	Jun 22, 2019, 8:55:48 AM	3.30 KiB
	Knot_Theory.db	Jun 22, 2019, 9:42:15 AM	24.00 KiB
	Knot_Theory.gz	Jun 22, 2019, 9:42:15 AM	53.92 KiB
	Knuth_Morris_Pratt.db	Jun 22, 2019, 9:48:13 AM	20.00 KiB
	Knuth_Morris_Pratt.gz	Jun 22, 2019, 9:48:13 AM	1.33 KiB
	Koenigsberg_Friendship.db	Jun 22, 2019, 9:43:19 AM	24.00 KiB
	Koenigsberg_Friendship.gz	Jun 22, 2019, 9:43:19 AM	886 B
	Kruskal.db	Jun 22, 2019, 9:45:41 AM	24.00 KiB
	Kruskal.gz	Jun 22, 2019, 9:45:41 AM	2.88 KiB
	Kuratowski_Closure_Complement.db	Jun 22, 2019, 9:48:03 AM	20.00 KiB
	Kuratowski_Closure_Complement.gz	Jun 22, 2019, 9:48:03 AM	770 B
	Lambda_Free_EPO.db	Jun 22, 2019, 9:47:42 AM	24.00 KiB
	Lambda_Free_EPO.gz	Jun 22, 2019, 9:47:42 AM	1.37 KiB
	Lambda_Free_KBOs.db	Jun 22, 2019, 9:35:39 AM	28.00 KiB
	Lambda_Free_KBOs.gz	Jun 22, 2019, 9:35:39 AM	3.85 KiB
	Lambda_Free_RPOs.db	Jun 22, 2019, 9:50:50 AM	20.00 KiB
	Lambda_Free_RPOs.gz	Jun 22, 2019, 9:50:50 AM	1.41 KiB
	LambdaAuth.db	Jun 22, 2019, 9:42:31 AM	24.00 KiB
	LambdaAuth.gz	Jun 22, 2019, 9:42:31 AM	2.31 KiB
	LambdaMu.db	Jun 22, 2019, 9:51:40 AM	20.00 KiB
	LambdaMu.gz	Jun 22, 2019, 9:51:40 AM	809 B
	Lam-ml-Normalization.db	Jun 22, 2019, 9:51:03 AM	20.00 KiB
	Lam-ml-Normalization.gz	Jun 22, 2019, 9:51:03 AM	13.83 KiB
	Landau_Symbols.db	Jun 22, 2019, 9:51:07 AM	20.00 KiB
	Landau_Symbols.gz	Jun 22, 2019, 9:51:07 AM	1.47 KiB
	Latin_Square.db	Jun 22, 2019, 9:52:03 AM	20.00 KiB
	Latin_Square.gz	Jun 22, 2019, 9:52:03 AM	482 B
	LatticeProperties.db	Jun 22, 2019, 9:52:27 AM	20.00 KiB
	LatticeProperties.gz	Jun 22, 2019, 9:52:27 AM	1.26 KiB
	Launchbury.db	Jun 22, 2019, 9:29:56 AM	28.00 KiB
	Launchbury.gz	Jun 22, 2019, 9:29:56 AM	17.07 KiB
	Lazy_Case.db	Jun 22, 2019, 9:52:27 AM	20.00 KiB
	Lazy_Case.gz	Jun 22, 2019, 9:52:27 AM	521 B
	Lazy-Lists-II.db	Jun 22, 2019, 9:52:49 AM	20.00 KiB
	Lazy-Lists-II.gz	Jun 22, 2019, 9:52:49 AM	424 B
	LCF.db	Jun 4, 2019, 10:47:11 PM	20.00 KiB
	LCF.gz	Jun 4, 2019, 10:47:11 PM	11.12 KiB
	Lehmer.db	Jun 22, 2019, 9:52:58 AM	20.00 KiB
	Lehmer.gz	Jun 22, 2019, 9:52:58 AM	192 B
	LEM.db	Jun 22, 2019, 8:32:34 AM	24.00 KiB
	LEM.gz	Jun 22, 2019, 8:32:34 AM	2.72 KiB
	Lifting_Definition_Option.db	Jun 22, 2019, 9:52:38 AM	32.00 KiB
	Lifting_Definition_Option.gz	Jun 22, 2019, 9:52:38 AM	249 B
	LightweightJava.db	Jun 22, 2019, 9:41:50 AM	24.00 KiB
	LightweightJava.gz	Jun 22, 2019, 9:41:50 AM	879 B
	Linear_Recurrences_Solver.db	Jun 22, 2019, 9:12:29 AM	40.00 KiB
	Linear_Recurrences_Solver.gz	Jun 22, 2019, 9:12:29 AM	8.12 KiB
	Linear_Recurrences.db	Jun 22, 2019, 9:34:40 AM	28.00 KiB
	Linear_Recurrences.gz	Jun 22, 2019, 9:34:40 AM	15.22 KiB
	LinearQuantifierElim.db	Jun 22, 2019, 9:42:10 AM	24.00 KiB
	LinearQuantifierElim.gz	Jun 22, 2019, 9:42:10 AM	1.49 KiB
	Liouville_Numbers.db	Jun 22, 2019, 9:52:55 AM	20.00 KiB
	Liouville_Numbers.gz	Jun 22, 2019, 9:52:55 AM	652 B
	List_Interleaving.db	Jun 22, 2019, 9:52:38 AM	20.00 KiB
	List_Interleaving.gz	Jun 22, 2019, 9:52:38 AM	281 B
	List_Inversions.db	Jun 22, 2019, 9:49:52 AM	20.00 KiB
	List_Inversions.gz	Jun 22, 2019, 9:49:52 AM	1.95 KiB
	List_Update.db	Jun 22, 2019, 9:32:14 AM	28.00 KiB
	List_Update.gz	Jun 22, 2019, 9:32:14 AM	3.67 KiB
	List-Index.db	Jun 22, 2019, 9:52:47 AM	20.00 KiB
	List-Index.gz	Jun 22, 2019, 9:52:47 AM	355 B
	List-Infinite.db	Jun 22, 2019, 9:32:24 AM	20.00 KiB
	List-Infinite.gz	Jun 22, 2019, 9:32:24 AM	2.76 KiB
	LLL_Basis_Reduction.db	Jun 22, 2019, 9:13:32 AM	36.00 KiB
	LLL_Basis_Reduction.gz	Jun 22, 2019, 9:13:32 AM	5.18 KiB
	LLL_Factorization.db	Jun 22, 2019, 9:42:55 AM	108.00 KiB
	LLL_Factorization.gz	Jun 22, 2019, 9:42:55 AM	1.70 KiB
	Locales.db	Jun 22, 2019, 9:52:53 AM	20.00 KiB
	Locales.gz	Jun 22, 2019, 9:52:53 AM	569 B
	Localization_Ring.db	Jun 22, 2019, 9:46:40 AM	24.00 KiB
	Localization_Ring.gz	Jun 22, 2019, 9:46:40 AM	485 B
	LocalLexing.db	Jun 22, 2019, 9:40:16 AM	24.00 KiB
	LocalLexing.gz	Jun 22, 2019, 9:40:16 AM	1.33 KiB
	Locally-Nameless-Sigma.db	Jun 22, 2019, 9:46:51 AM	24.00 KiB
	Locally-Nameless-Sigma.gz	Jun 22, 2019, 9:46:51 AM	19.80 KiB
	LOFT.db	Jun 22, 2019, 9:21:25 AM	32.00 KiB
	LOFT.gz	Jun 22, 2019, 9:21:25 AM	7.53 KiB
	Logics_ZF.db	Jun 4, 2019, 10:47:39 PM	20.00 KiB
	Logics_ZF.gz	Jun 4, 2019, 10:47:39 PM	434 B
	Logics.db	Jun 4, 2019, 10:47:15 PM	20.00 KiB
	Logics.gz	Aug 14, 2019, 9:17:15 PM	111 B
	Lorenz_Approximation.db	Jun 22, 2019, 9:13:31 AM	36.00 KiB
	Lorenz_Approximation.gz	Jun 22, 2019, 9:13:31 AM	23.04 KiB
	Lorenz_C0.db	Jun 22, 2019, 9:49:48 AM	148.00 KiB
	Lorenz_C0.gz	Jun 22, 2019, 9:49:47 AM	1.83 KiB
	Lorenz_C1.db	Jun 22, 2019, 9:52:57 AM	20.00 KiB
	Lorenz_C1.gz	Jun 22, 2019, 9:52:57 AM	134 B
	Lowe_Ontological_Argument.db	Jun 22, 2019, 9:50:23 AM	20.00 KiB
	Lowe_Ontological_Argument.gz	Jun 22, 2019, 9:50:23 AM	3.14 KiB
	Lower_Semicontinuous.db	Jun 22, 2019, 9:52:16 AM	20.00 KiB
	Lower_Semicontinuous.gz	Jun 22, 2019, 9:52:16 AM	363 B
	Lp.db	Jun 22, 2019, 9:46:35 AM	24.00 KiB
	Lp.gz	Jun 22, 2019, 9:46:35 AM	2.48 KiB
	LTL_Master_Theorem.db	Jun 22, 2019, 9:39:49 AM	40.00 KiB
	LTL_Master_Theorem.gz	Jun 22, 2019, 9:39:49 AM	2.17 KiB
	LTL_to_DRA.db	Jun 22, 2019, 9:31:47 AM	32.00 KiB
	LTL_to_DRA.gz	Jun 22, 2019, 9:31:47 AM	16.05 KiB
	LTL_to_GBA.db	Jun 22, 2019, 9:14:47 AM	32.00 KiB
	LTL_to_GBA.gz	Jun 22, 2019, 9:14:47 AM	7.89 KiB
	LTL.db	Jun 22, 2019, 9:22:38 AM	28.00 KiB
	LTL.gz	Jun 22, 2019, 9:22:38 AM	1.34 KiB
	Main.db	Jun 22, 2019, 9:52:54 AM	20.00 KiB
	Main.gz	Jun 22, 2019, 9:52:54 AM	172 B
	Markov_Models.db	Jun 22, 2019, 8:52:24 AM	32.00 KiB
	Markov_Models.gz	Jun 22, 2019, 8:52:24 AM	6.53 KiB
	Marriage.db	Jun 22, 2019, 9:52:50 AM	20.00 KiB
	Marriage.gz	Jun 22, 2019, 9:52:50 AM	307 B
	Mason_Stothers.db	Jun 22, 2019, 9:52:38 AM	20.00 KiB
	Mason_Stothers.gz	Jun 22, 2019, 9:52:38 AM	577 B
	Matrix_Tensor.db	Jun 22, 2019, 9:32:49 AM	24.00 KiB
	Matrix_Tensor.gz	Jun 22, 2019, 9:32:49 AM	47.67 KiB
	Matrix.db	Jun 22, 2019, 9:28:57 AM	24.00 KiB
	Matrix.gz	Jun 22, 2019, 9:28:57 AM	2.31 KiB
	Matroids.db	Jun 22, 2019, 9:52:10 AM	20.00 KiB
	Matroids.gz	Jun 22, 2019, 9:52:10 AM	327 B
	Max-Card-Matching.db	Jun 22, 2019, 9:52:49 AM	20.00 KiB
	Max-Card-Matching.gz	Jun 22, 2019, 9:52:49 AM	199 B
	Median_Of_Medians_Selection.db	Jun 22, 2019, 9:47:02 AM	20.00 KiB
	Median_Of_Medians_Selection.gz	Jun 22, 2019, 9:47:02 AM	1.75 KiB
	Menger.db	Jun 22, 2019, 9:51:52 AM	20.00 KiB
	Menger.gz	Jun 22, 2019, 9:51:52 AM	887 B
	MFMC_Countable.db	Jun 22, 2019, 9:38:52 AM	28.00 KiB
	MFMC_Countable.gz	Jun 22, 2019, 9:38:52 AM	4.38 KiB
	Minimal_SSA.db	Jun 22, 2019, 9:51:53 AM	20.00 KiB
	Minimal_SSA.gz	Jun 22, 2019, 9:51:53 AM	820 B
	MiniML.db	Jun 22, 2019, 9:51:18 AM	20.00 KiB
	MiniML.gz	Jun 22, 2019, 9:51:18 AM	1.28 KiB
	Minkowskis_Theorem.db	Jun 22, 2019, 9:52:54 AM	20.00 KiB
	Minkowskis_Theorem.gz	Jun 22, 2019, 9:52:54 AM	417 B
	Minsky_Machines.db	Jun 22, 2019, 9:49:17 AM	20.00 KiB
	Minsky_Machines.gz	Jun 22, 2019, 9:49:17 AM	1.52 KiB
	Modal_Logics_for_NTS.db	Jun 22, 2019, 9:20:18 AM	36.00 KiB
	Modal_Logics_for_NTS.gz	Jun 22, 2019, 9:20:18 AM	3.29 KiB
	Modular_Assembly_Kit_Security.db	Jun 22, 2019, 9:47:17 AM	24.00 KiB
	Modular_Assembly_Kit_Security.gz	Jun 22, 2019, 9:47:17 AM	3.09 KiB
	Monad_Memo_DP.db	Jun 22, 2019, 9:24:05 AM	36.00 KiB
	Monad_Memo_DP.gz	Jun 22, 2019, 9:24:05 AM	102.37 KiB
	Monad_Normalisation.db	Jun 22, 2019, 9:52:59 AM	20.00 KiB
	Monad_Normalisation.gz	Jun 22, 2019, 9:52:59 AM	494 B
	MonoBoolTranAlgebra.db	Jun 22, 2019, 9:51:24 AM	20.00 KiB
	MonoBoolTranAlgebra.gz	Jun 22, 2019, 9:51:24 AM	1.92 KiB
	MonoidalCategory.db	Jun 22, 2019, 8:56:36 AM	48.00 KiB
	MonoidalCategory.gz	Jun 22, 2019, 8:56:35 AM	1.33 KiB
	Monomorphic_Monad.db	Jun 22, 2019, 9:44:32 AM	24.00 KiB
	Monomorphic_Monad.gz	Jun 22, 2019, 9:44:32 AM	3.52 KiB
	MSO_Regex_Equivalence.db	Jun 22, 2019, 8:39:00 AM	60.00 KiB
	MSO_Regex_Equivalence.gz	Jun 22, 2019, 8:39:00 AM	6.44 KiB
	MuchAdoAboutTwo.db	Jun 22, 2019, 9:52:14 AM	20.00 KiB
	MuchAdoAboutTwo.gz	Jun 22, 2019, 9:52:14 AM	438 B
	Multi_Party_Computation.db	Jun 22, 2019, 9:23:40 AM	36.00 KiB
	Multi_Party_Computation.gz	Jun 22, 2019, 9:23:40 AM	4.77 KiB
	Multirelations.db	Jun 22, 2019, 9:34:24 AM	28.00 KiB
	Multirelations.gz	Jun 22, 2019, 9:34:24 AM	4.20 KiB
	Myhill-Nerode.db	Jun 22, 2019, 9:46:19 AM	24.00 KiB
	Myhill-Nerode.gz	Jun 22, 2019, 9:46:19 AM	3.70 KiB
	Name_Carrying_Type_Inference.db	Jun 22, 2019, 9:50:07 AM	28.00 KiB
	Name_Carrying_Type_Inference.gz	Jun 22, 2019, 9:50:07 AM	808 B
	Nat-Interval-Logic.db	Jun 22, 2019, 9:36:24 AM	20.00 KiB
	Nat-Interval-Logic.gz	Jun 22, 2019, 9:36:24 AM	991 B
	Native_Word.db	Jun 22, 2019, 8:40:16 AM	64.00 KiB
	Native_Word.gz	Jun 22, 2019, 8:40:16 AM	62.35 KiB
	Nested_Multisets_Ordinals.db	Jun 22, 2019, 9:25:53 AM	24.00 KiB
	Nested_Multisets_Ordinals.gz	Jun 22, 2019, 9:25:53 AM	5.75 KiB
	Network_Security_Policy_Verification.db	Jun 22, 2019, 9:01:32 AM	76.00 KiB
	Network_Security_Policy_Verification.gz	Jun 22, 2019, 9:01:32 AM	30.35 KiB
	Neumann_Morgenstern_Utility.db	Jun 22, 2019, 9:50:29 AM	20.00 KiB
	Neumann_Morgenstern_Utility.gz	Jun 22, 2019, 9:50:29 AM	633 B
	Nitpick.db	Jun 4, 2019, 10:47:16 PM	20.00 KiB
	Nitpick.gz	Aug 14, 2019, 9:17:15 PM	111 B
	No_FTL_observers.db	Jun 22, 2019, 9:09:32 AM	32.00 KiB
	No_FTL_observers.gz	Jun 22, 2019, 9:09:31 AM	7.05 KiB
	Nominal2.db	Jun 22, 2019, 9:10:50 AM	24.00 KiB
	Nominal2.gz	Jun 22, 2019, 9:10:50 AM	16.53 KiB
	Noninterference_Concurrent_Composition.db	Jun 22, 2019, 9:51:34 AM	20.00 KiB
	Noninterference_Concurrent_Composition.gz	Jun 22, 2019, 9:51:34 AM	349 B
	Noninterference_CSP.db	Jun 22, 2019, 9:45:31 AM	20.00 KiB
	Noninterference_CSP.gz	Jun 22, 2019, 9:45:31 AM	582 B
	Noninterference_Generic_Unwinding.db	Jun 22, 2019, 9:48:27 AM	20.00 KiB
	Noninterference_Generic_Unwinding.gz	Jun 22, 2019, 9:48:27 AM	308 B
	Noninterference_Inductive_Unwinding.db	Jun 22, 2019, 9:51:54 AM	20.00 KiB
	Noninterference_Inductive_Unwinding.gz	Jun 22, 2019, 9:51:54 AM	694 B
	Noninterference_Ipurge_Unwinding.db	Jun 22, 2019, 9:46:49 AM	20.00 KiB
	Noninterference_Ipurge_Unwinding.gz	Jun 22, 2019, 9:46:49 AM	517 B
	Noninterference_Sequential_Composition.db	Jun 22, 2019, 9:47:50 AM	20.00 KiB
	Noninterference_Sequential_Composition.gz	Jun 22, 2019, 9:47:50 AM	784 B
	NormByEval.db	Jun 22, 2019, 9:47:21 AM	20.00 KiB
	NormByEval.gz	Jun 22, 2019, 9:47:21 AM	814 B
	Octonions.db	Jun 22, 2019, 9:48:24 AM	20.00 KiB
	Octonions.gz	Jun 22, 2019, 9:48:24 AM	1.22 KiB
	Old_Datatype_Show.db	Jun 22, 2019, 9:50:26 AM	20.00 KiB
	Old_Datatype_Show.gz	Jun 22, 2019, 9:50:26 AM	904 B
	Open_Induction.db	Jun 22, 2019, 9:52:49 AM	20.00 KiB
	Open_Induction.gz	Jun 22, 2019, 9:52:49 AM	451 B
	OpSets.db	Jun 22, 2019, 9:48:50 AM	20.00 KiB
	OpSets.gz	Jun 22, 2019, 9:48:50 AM	612 B
	Optics.db	Jun 22, 2019, 9:49:14 AM	20.00 KiB
	Optics.gz	Jun 22, 2019, 9:49:14 AM	1.77 KiB
	Optimal_BST.db	Jun 22, 2019, 9:50:02 AM	20.00 KiB
	Optimal_BST.gz	Jun 22, 2019, 9:50:02 AM	1.39 KiB
	Orbit_Stabiliser.db	Jun 22, 2019, 9:51:12 AM	20.00 KiB
	Orbit_Stabiliser.gz	Jun 22, 2019, 9:51:12 AM	590 B
	Order_Lattice_Props.db	Jun 22, 2019, 9:20:38 AM	24.00 KiB
	Order_Lattice_Props.gz	Jun 22, 2019, 9:20:38 AM	5.72 KiB
	Ordered_Resolution_Prover.db	Jun 22, 2019, 9:43:05 AM	24.00 KiB
	Ordered_Resolution_Prover.gz	Jun 22, 2019, 9:43:05 AM	3.79 KiB
	Ordinal.db	Jun 22, 2019, 9:24:21 AM	20.00 KiB
	Ordinal.gz	Jun 22, 2019, 9:24:21 AM	1.33 KiB
	Ordinals_and_Cardinals.db	Jun 22, 2019, 9:53:03 AM	20.00 KiB
	Ordinals_and_Cardinals.gz	Jul 27, 2019, 5:56:31 PM	219 B
	Ordinary_Differential_Equations.db	Jun 22, 2019, 8:46:12 AM	40.00 KiB
	Ordinary_Differential_Equations.gz	Jun 22, 2019, 8:46:12 AM	11.92 KiB
	Pairing_Heap.db	Jun 22, 2019, 9:52:35 AM	20.00 KiB
	Pairing_Heap.gz	Jun 22, 2019, 9:52:35 AM	730 B
	Paraconsistency.db	Jun 22, 2019, 9:31:49 AM	24.00 KiB
	Paraconsistency.gz	Jun 22, 2019, 9:31:49 AM	266 B
	Parity_Game.db	Jun 22, 2019, 9:38:24 AM	28.00 KiB
	Parity_Game.gz	Jun 22, 2019, 9:38:24 AM	8.30 KiB
	Partial_Function_MR.db	Jun 22, 2019, 9:51:57 AM	20.00 KiB
	Partial_Function_MR.gz	Jun 22, 2019, 9:51:57 AM	687 B
	Partial_Order_Reduction.db	Jun 22, 2019, 9:43:02 AM	24.00 KiB
	Partial_Order_Reduction.gz	Jun 22, 2019, 9:43:02 AM	10.91 KiB
	Password_Authentication_Protocol.db	Jun 22, 2019, 9:33:13 AM	24.00 KiB
	Password_Authentication_Protocol.gz	Jun 22, 2019, 9:33:13 AM	564 B
	PCF.db	Jun 22, 2019, 9:43:49 AM	24.00 KiB
	PCF.gz	Jun 22, 2019, 9:43:49 AM	2.60 KiB
	Pell.db	Jun 22, 2019, 9:49:39 AM	20.00 KiB
	Pell.gz	Jun 22, 2019, 9:49:39 AM	36.44 KiB
	Perfect-Number-Thm.db	Jun 22, 2019, 9:52:56 AM	20.00 KiB
	Perfect-Number-Thm.gz	Jun 22, 2019, 9:52:56 AM	278 B
	Perron_Frobenius.db	Jun 22, 2019, 9:08:25 AM	48.00 KiB
	Perron_Frobenius.gz	Jun 22, 2019, 9:08:24 AM	14.75 KiB
	pGCL.db	Jun 22, 2019, 9:47:11 AM	24.00 KiB
	pGCL.gz	Jun 22, 2019, 9:47:11 AM	7.96 KiB
	Pi_Calculus.db	Jun 22, 2019, 9:41:22 AM	24.00 KiB
	Pi_Calculus.gz	Jun 22, 2019, 9:41:22 AM	159.70 KiB
	Pi_Transcendental.db	Jun 22, 2019, 9:35:52 AM	28.00 KiB
	Pi_Transcendental.gz	Jun 22, 2019, 9:35:52 AM	15.66 KiB
	Planarity_Certificates.db	Jun 22, 2019, 9:24:11 AM	36.00 KiB
	Planarity_Certificates.gz	Jun 22, 2019, 9:24:11 AM	9.54 KiB
	PLM.db	Jun 22, 2019, 9:46:56 AM	24.00 KiB
	PLM.gz	Jun 22, 2019, 9:46:56 AM	4.11 KiB
	Polynomial_Factorization.db	Jun 22, 2019, 9:40:05 AM	24.00 KiB
	Polynomial_Factorization.gz	Jun 22, 2019, 9:40:05 AM	3.39 KiB
	Polynomial_Interpolation.db	Jun 22, 2019, 9:49:54 AM	20.00 KiB
	Polynomial_Interpolation.gz	Jun 22, 2019, 9:49:54 AM	2.74 KiB
	Polynomials.db	Jun 22, 2019, 9:23:51 AM	32.00 KiB
	Polynomials.gz	Jun 22, 2019, 9:23:51 AM	11.89 KiB
	Pop_Refinement.db	Jun 22, 2019, 9:51:51 AM	20.00 KiB
	Pop_Refinement.gz	Jun 22, 2019, 9:51:51 AM	575 B
	POPLmark-deBruijn.db	Jun 22, 2019, 9:49:59 AM	20.00 KiB
	POPLmark-deBruijn.gz	Jun 22, 2019, 9:49:59 AM	3.63 KiB
	Posix-Lexing.db	Jun 22, 2019, 9:49:09 AM	20.00 KiB
	Posix-Lexing.gz	Jun 22, 2019, 9:49:09 AM	532 B
	Possibilistic_Noninterference.db	Jun 22, 2019, 9:45:10 AM	24.00 KiB
	Possibilistic_Noninterference.gz	Jun 22, 2019, 9:45:10 AM	3.67 KiB
	Pratt_Certificate.db	Jun 22, 2019, 9:50:47 AM	20.00 KiB
	Pratt_Certificate.gz	Jun 22, 2019, 9:50:47 AM	856 B
	Pre_BZ.db	Jun 22, 2019, 8:52:28 AM	32.00 KiB
	Pre_BZ.gz	Jun 22, 2019, 8:52:28 AM	9.08 KiB
	Pre_Polynomial_Factorization.db	Apr 21, 2019, 10:08:43 PM	20.00 KiB
	Pre_Polynomial_Factorization.gz	Apr 21, 2019, 10:08:43 PM	2.50 KiB
	Presburger-Automata.db	Jun 22, 2019, 9:47:15 AM	20.00 KiB
	Presburger-Automata.gz	Jun 22, 2019, 9:47:15 AM	1.26 KiB
	Prime_Distribution_Elementary.db	Jun 22, 2019, 9:43:50 AM	24.00 KiB
	Prime_Distribution_Elementary.gz	Jun 22, 2019, 9:43:50 AM	2.28 KiB
	Prime_Harmonic_Series.db	Jun 22, 2019, 9:33:52 AM	28.00 KiB
	Prime_Harmonic_Series.gz	Jun 22, 2019, 9:33:52 AM	4.54 KiB
	Prime_Number_Theorem.db	Jun 22, 2019, 9:46:07 AM	24.00 KiB
	Prime_Number_Theorem.gz	Jun 22, 2019, 9:46:07 AM	1.52 KiB
	Priority_Queue_Braun.db	Jun 22, 2019, 9:48:37 AM	20.00 KiB
	Priority_Queue_Braun.gz	Jun 22, 2019, 9:48:37 AM	778 B
	Probabilistic_Noninterference.db	Jun 22, 2019, 9:36:24 AM	28.00 KiB
	Probabilistic_Noninterference.gz	Jun 22, 2019, 9:36:24 AM	4.64 KiB
	Probabilistic_Prime_Tests.db	Jun 22, 2019, 9:11:25 AM	52.00 KiB
	Probabilistic_Prime_Tests.gz	Jun 22, 2019, 9:11:25 AM	9.01 KiB
	Probabilistic_System_Zoo.db	Jun 22, 2019, 9:43:15 AM	24.00 KiB
	Probabilistic_System_Zoo.gz	Jun 22, 2019, 9:43:15 AM	2.15 KiB
	Probabilistic_System_Zoo-BNFs.db	Jun 22, 2019, 9:49:39 AM	20.00 KiB
	Probabilistic_System_Zoo-BNFs.gz	Jun 22, 2019, 9:49:39 AM	917 B
	Probabilistic_System_Zoo-Non_BNFs.db	Jun 22, 2019, 9:44:24 AM	24.00 KiB
	Probabilistic_System_Zoo-Non_BNFs.gz	Jun 22, 2019, 9:44:24 AM	2.28 KiB
	Probabilistic_Timed_Automata.db	Jun 22, 2019, 9:14:36 AM	40.00 KiB
	Probabilistic_Timed_Automata.gz	Jun 22, 2019, 9:14:36 AM	6.60 KiB
	Probabilistic_While.db	Jun 22, 2019, 8:57:31 AM	24.00 KiB
	Probabilistic_While.gz	Jun 22, 2019, 8:57:31 AM	2.27 KiB
	Prog_Prove.db	Jun 22, 2019, 9:52:13 AM	20.00 KiB
	Prog_Prove.gz	Jun 22, 2019, 9:52:13 AM	681 B
	Program-Conflict-Analysis.db	Jun 22, 2019, 9:48:40 AM	20.00 KiB
	Program-Conflict-Analysis.gz	Jun 22, 2019, 9:48:40 AM	1.25 KiB
	Projective_Geometry.db	Jun 22, 2019, 9:47:42 AM	24.00 KiB
	Projective_Geometry.gz	Jun 22, 2019, 9:47:42 AM	462 B
	Promela.db	Jun 22, 2019, 9:12:55 AM	32.00 KiB
	Promela.gz	Jun 22, 2019, 9:12:55 AM	11.28 KiB
	Proof_Strategy_Language.db	Jun 22, 2019, 9:09:40 AM	28.00 KiB
	Proof_Strategy_Language.gz	Jun 22, 2019, 9:09:40 AM	5.69 KiB
	Propositional_Proof_Systems.db	Jun 22, 2019, 9:37:48 AM	28.00 KiB
	Propositional_Proof_Systems.gz	Jun 22, 2019, 9:37:48 AM	50.96 KiB
	PropResPI.db	Jun 22, 2019, 9:49:34 AM	20.00 KiB
	PropResPI.gz	Jun 22, 2019, 9:49:34 AM	376 B
	Prpu_Maxflow.db	Jun 22, 2019, 9:16:00 AM	32.00 KiB
	Prpu_Maxflow.gz	Jun 22, 2019, 9:16:00 AM	43.93 KiB
	PSemigroupsConvolution.db	Jun 22, 2019, 9:48:04 AM	20.00 KiB
	PSemigroupsConvolution.gz	Jun 22, 2019, 9:48:04 AM	2.06 KiB
	PseudoHoops.db	Jun 22, 2019, 9:28:28 AM	28.00 KiB
	PseudoHoops.gz	Jun 22, 2019, 9:28:28 AM	4.19 KiB
	Psi_Calculi.db	Jun 22, 2019, 8:56:28 AM	52.00 KiB
	Psi_Calculi.gz	Jun 22, 2019, 8:56:28 AM	223.42 KiB
	Ptolemys_Theorem.db	Jun 22, 2019, 9:52:54 AM	20.00 KiB
	Ptolemys_Theorem.gz	Jun 22, 2019, 9:52:54 AM	198 B
	Pure.db	Jun 4, 2019, 10:47:06 PM	20.00 KiB
	Pure.gz	Jun 4, 2019, 10:47:06 PM	85.17 KiB
	QHLProver.db	Jun 22, 2019, 9:40:08 AM	28.00 KiB
	QHLProver.gz	Jun 22, 2019, 9:40:08 AM	3.54 KiB
	QR_Decomposition.db	Jun 22, 2019, 9:21:17 AM	92.00 KiB
	QR_Decomposition.gz	Jun 22, 2019, 9:21:17 AM	8.76 KiB
	Quantales.db	Jun 22, 2019, 9:30:05 AM	28.00 KiB
	Quantales.gz	Jun 22, 2019, 9:30:05 AM	3.25 KiB
	Quaternions.db	Jun 22, 2019, 9:47:42 AM	20.00 KiB
	Quaternions.gz	Jun 22, 2019, 9:47:42 AM	638 B
	Quick_Sort_Cost.db	Jun 22, 2019, 9:45:13 AM	20.00 KiB
	Quick_Sort_Cost.gz	Jun 22, 2019, 9:45:13 AM	2.51 KiB
	Ramsey-Infinite.db	Jun 22, 2019, 9:52:09 AM	20.00 KiB
	Ramsey-Infinite.gz	Jun 22, 2019, 9:52:09 AM	362 B
	Random_BSTs.db	Jun 22, 2019, 9:49:12 AM	20.00 KiB
	Random_BSTs.gz	Jun 22, 2019, 9:49:12 AM	886 B
	Random_Graph_Subgraph_Threshold.db	Jun 22, 2019, 9:51:40 AM	20.00 KiB
	Random_Graph_Subgraph_Threshold.gz	Jun 22, 2019, 9:51:40 AM	3.75 KiB
	Randomised_BSTs.db	Jun 22, 2019, 9:51:14 AM	20.00 KiB
	Randomised_BSTs.gz	Jun 22, 2019, 9:51:14 AM	846 B
	Randomised_Social_Choice.db	Jun 22, 2019, 9:41:06 AM	20.00 KiB
	Randomised_Social_Choice.gz	Jun 22, 2019, 9:41:06 AM	3.99 KiB
	Rank_Nullity_Theorem.db	Jun 22, 2019, 9:51:49 AM	20.00 KiB
	Rank_Nullity_Theorem.gz	Jun 22, 2019, 9:51:49 AM	1.24 KiB
	Real_Impl.db	Jun 22, 2019, 9:39:54 AM	24.00 KiB
	Real_Impl.gz	Jun 22, 2019, 9:39:54 AM	4.18 KiB
	Recursion-Theory-I.db	Jun 22, 2019, 9:51:04 AM	20.00 KiB
	Recursion-Theory-I.gz	Jun 22, 2019, 9:51:04 AM	1.32 KiB
	Refine_Imperative_HOL.db	Jun 22, 2019, 9:06:08 AM	104.00 KiB
	Refine_Imperative_HOL.gz	Jun 22, 2019, 9:06:08 AM	82.39 KiB
	Refine_Monadic.db	Jun 22, 2019, 8:32:10 AM	24.00 KiB
	Refine_Monadic.gz	Jun 22, 2019, 8:32:10 AM	10.41 KiB
	RefinementReactive.db	Jun 22, 2019, 9:51:18 AM	20.00 KiB
	RefinementReactive.gz	Jun 22, 2019, 9:51:18 AM	889 B
	Regex_Equivalence.db	Jun 22, 2019, 9:43:03 AM	28.00 KiB
	Regex_Equivalence.gz	Jun 22, 2019, 9:43:03 AM	6.75 KiB
	Regular_Algebras.db	Jun 22, 2019, 9:30:35 AM	28.00 KiB
	Regular_Algebras.gz	Jun 22, 2019, 9:30:35 AM	4.28 KiB
	Regular-Sets.db	Jun 22, 2019, 9:39:01 AM	24.00 KiB
	Regular-Sets.gz	Jun 22, 2019, 9:39:01 AM	1.50 KiB
	Relation_Algebra.db	Jun 22, 2019, 9:40:28 AM	20.00 KiB
	Relation_Algebra.gz	Jun 22, 2019, 9:40:28 AM	3.12 KiB
	Rep_Fin_Groups.db	Jun 22, 2019, 9:29:54 AM	28.00 KiB
	Rep_Fin_Groups.gz	Jun 22, 2019, 9:29:54 AM	1.50 KiB
	Residuated_Lattices.db	Jun 22, 2019, 9:45:07 AM	24.00 KiB
	Residuated_Lattices.gz	Jun 22, 2019, 9:45:07 AM	1.68 KiB
	Resolution_FOL.db	Jun 22, 2019, 9:31:51 AM	28.00 KiB
	Resolution_FOL.gz	Jun 22, 2019, 9:31:51 AM	5.76 KiB
	Rewriting_Z.db	Jun 22, 2019, 9:46:46 AM	24.00 KiB
	Rewriting_Z.gz	Jun 22, 2019, 9:46:46 AM	2.18 KiB
	Ribbon_Proofs.db	Jun 22, 2019, 9:49:08 AM	20.00 KiB
	Ribbon_Proofs.gz	Jun 22, 2019, 9:49:08 AM	1.50 KiB
	RIPEMD-160-SPARK.db	Jun 22, 2019, 9:52:50 AM	20.00 KiB
	RIPEMD-160-SPARK.gz	Jun 22, 2019, 9:52:50 AM	212 B
	Robbins-Conjecture.db	Jun 22, 2019, 9:51:00 AM	20.00 KiB
	Robbins-Conjecture.gz	Jun 22, 2019, 9:51:00 AM	1.25 KiB
	ROBDD.db	Jun 22, 2019, 9:46:44 AM	24.00 KiB
	ROBDD.gz	Jun 22, 2019, 9:46:44 AM	5.25 KiB
	Root_Balanced_Tree.db	Jun 22, 2019, 9:38:58 AM	28.00 KiB
	Root_Balanced_Tree.gz	Jun 22, 2019, 9:38:58 AM	3.21 KiB
	Routing.db	Jun 22, 2019, 8:38:18 AM	20.00 KiB
	Routing.gz	Jun 22, 2019, 8:38:18 AM	1.11 KiB
	Roy_Floyd_Warshall.db	Jun 22, 2019, 9:53:03 AM	20.00 KiB
	Roy_Floyd_Warshall.gz	Jun 22, 2019, 9:53:03 AM	352 B
	RSAPSS.db	Jun 22, 2019, 9:48:59 AM	20.00 KiB
	RSAPSS.gz	Jun 22, 2019, 9:48:59 AM	1.84 KiB
	Safe_OCL.db	Jun 22, 2019, 9:19:16 AM	28.00 KiB
	Safe_OCL.gz	Jun 22, 2019, 9:19:16 AM	2.40 KiB
	SATSolverVerification.db	Jun 22, 2019, 9:40:56 AM	28.00 KiB
	SATSolverVerification.gz	Jun 22, 2019, 9:40:56 AM	1.38 KiB
	SDS_Impossibility.db	Jun 22, 2019, 9:44:32 AM	24.00 KiB
	SDS_Impossibility.gz	Jun 22, 2019, 9:44:32 AM	471 B
	Secondary_Sylow.db	Jun 22, 2019, 9:52:22 AM	20.00 KiB
	Secondary_Sylow.gz	Jun 22, 2019, 9:52:22 AM	2.38 KiB
	Security_Protocol_Refinement.db	Jun 22, 2019, 8:35:30 AM	48.00 KiB
	Security_Protocol_Refinement.gz	Jun 22, 2019, 8:35:30 AM	1.75 KiB
	Selection_Heap_Sort.db	Jun 22, 2019, 9:51:36 AM	20.00 KiB
	Selection_Heap_Sort.gz	Jun 22, 2019, 9:51:36 AM	1.15 KiB
	SenSocialChoice.db	Jun 22, 2019, 9:48:39 AM	20.00 KiB
	SenSocialChoice.gz	Jun 22, 2019, 9:48:39 AM	468 B
	Separata.db	Jun 22, 2019, 9:51:22 AM	20.00 KiB
	Separata.gz	Jun 22, 2019, 9:51:22 AM	1.64 KiB
	Separation_Algebra.db	Jun 22, 2019, 9:50:00 AM	20.00 KiB
	Separation_Algebra.gz	Jun 22, 2019, 9:50:00 AM	3.08 KiB
	Separation_Logic_Imperative_HOL.db	Jun 22, 2019, 9:34:51 AM	28.00 KiB
	Separation_Logic_Imperative_HOL.gz	Jun 22, 2019, 9:34:50 AM	14.48 KiB
	Sepref_Basic.db	Jun 22, 2019, 8:42:00 AM	24.00 KiB
	Sepref_Basic.gz	Jun 22, 2019, 8:42:00 AM	6.89 KiB
	Sepref_IICF.db	Jun 22, 2019, 8:50:59 AM	24.00 KiB
	Sepref_IICF.gz	Jun 22, 2019, 8:50:59 AM	19.15 KiB
	Sepref_Prereq.db	Jun 22, 2019, 8:40:45 AM	24.00 KiB
	Sepref_Prereq.gz	Jun 22, 2019, 8:40:45 AM	9.48 KiB
	SequentInvertibility.db	Jun 22, 2019, 9:44:31 AM	24.00 KiB
	SequentInvertibility.gz	Jun 22, 2019, 9:44:31 AM	39.32 KiB
	Sequents.db	Jun 4, 2019, 10:47:09 PM	20.00 KiB
	Sequents.gz	Jun 4, 2019, 10:47:09 PM	4.29 KiB
	Shivers-CFA.db	Jun 22, 2019, 9:47:38 AM	20.00 KiB
	Shivers-CFA.gz	Jun 22, 2019, 9:47:38 AM	10.89 KiB
	ShortestPath.db	Jun 22, 2019, 9:52:07 AM	20.00 KiB
	ShortestPath.gz	Jun 22, 2019, 9:52:07 AM	773 B
	Show.db	Jun 22, 2019, 9:47:14 AM	20.00 KiB
	Show.gz	Jun 22, 2019, 9:47:14 AM	2.11 KiB
	SIFPL.db	Jun 22, 2019, 9:44:42 AM	24.00 KiB
	SIFPL.gz	Jun 22, 2019, 9:44:42 AM	12.58 KiB
	SIFUM_Type_Systems.db	Jun 22, 2019, 9:40:51 AM	24.00 KiB
	SIFUM_Type_Systems.gz	Jun 22, 2019, 9:40:51 AM	7.46 KiB
	Signature_Groebner.db	Jun 22, 2019, 9:34:59 AM	24.00 KiB
	Signature_Groebner.gz	Jun 22, 2019, 9:34:59 AM	2.33 KiB
	Simpl.db	Jun 22, 2019, 9:10:04 AM	28.00 KiB
	Simpl.gz	Jun 22, 2019, 9:10:04 AM	28.46 KiB
	Simple_Firewall.db	Jun 22, 2019, 8:37:50 AM	24.00 KiB
	Simple_Firewall.gz	Jun 22, 2019, 8:37:50 AM	1.41 KiB
	Simplex.db	Jun 22, 2019, 9:22:45 AM	28.00 KiB
	Simplex.gz	Jun 22, 2019, 9:22:45 AM	8.02 KiB
	Skew_Heap.db	Jun 22, 2019, 9:52:53 AM	20.00 KiB
	Skew_Heap.gz	Jun 22, 2019, 9:52:53 AM	508 B
	Sledgehammer.db	Jun 4, 2019, 10:47:17 PM	20.00 KiB
	Sledgehammer.gz	Aug 14, 2019, 9:17:16 PM	115 B
	Slicing.db	Jun 22, 2019, 9:01:59 AM	48.00 KiB
	Slicing.gz	Jun 22, 2019, 9:01:59 AM	71.91 KiB
	SM_Base.db	Jun 22, 2019, 9:01:42 AM	36.00 KiB
	SM_Base.gz	Jun 22, 2019, 9:01:42 AM	19.70 KiB
	SM.db	Jun 22, 2019, 9:21:25 AM	32.00 KiB
	SM.gz	Jun 22, 2019, 9:21:25 AM	13.58 KiB
	SML.db	Jun 4, 2019, 10:47:13 PM	20.00 KiB
	SML.gz	Aug 14, 2019, 9:17:13 PM	1.57 KiB
	Smooth_Manifolds.db	Jun 22, 2019, 9:43:49 AM	24.00 KiB
	Smooth_Manifolds.gz	Jun 22, 2019, 9:43:49 AM	14.70 KiB
	Sort_Encodings.db	Jun 22, 2019, 9:39:41 AM	24.00 KiB
	Sort_Encodings.gz	Jun 22, 2019, 9:39:41 AM	3.95 KiB
	Source_Coding_Theorem.db	Jun 22, 2019, 9:52:20 AM	20.00 KiB
	Source_Coding_Theorem.gz	Jun 22, 2019, 9:52:20 AM	332 B
	SPARCv8.db	Jun 22, 2019, 9:13:20 AM	40.00 KiB
	SPARCv8.gz	Jun 22, 2019, 9:13:20 AM	2.25 KiB
	Spec_Check.db	Jun 4, 2019, 10:47:08 PM	20.00 KiB
	Spec_Check.gz	Jun 4, 2019, 10:47:08 PM	4.40 KiB
	Special_Function_Bounds.db	Jun 22, 2019, 9:45:09 AM	24.00 KiB
	Special_Function_Bounds.gz	Jun 22, 2019, 9:45:09 AM	473 B
	Splay_Tree.db	Jun 22, 2019, 9:35:07 AM	24.00 KiB
	Splay_Tree.gz	Jun 22, 2019, 9:35:07 AM	2.76 KiB
	Sqrt_Babylonian.db	Jun 22, 2019, 9:36:04 AM	20.00 KiB
	Sqrt_Babylonian.gz	Jun 22, 2019, 9:36:04 AM	652 B
	Stable_Matching.db	Jun 22, 2019, 9:27:54 AM	28.00 KiB
	Stable_Matching.gz	Jun 22, 2019, 9:27:54 AM	1.76 KiB
	Statecharts.db	Jun 22, 2019, 9:42:13 AM	24.00 KiB
	Statecharts.gz	Jun 22, 2019, 9:42:13 AM	1.33 KiB
	Stern_Brocot.db	Jun 22, 2019, 9:42:03 AM	24.00 KiB
	Stern_Brocot.gz	Jun 22, 2019, 9:42:03 AM	3.91 KiB
	Stewart_Apollonius.db	Jun 22, 2019, 9:52:19 AM	20.00 KiB
	Stewart_Apollonius.gz	Jun 22, 2019, 9:52:19 AM	351 B
	Stirling_Formula.db	Jun 22, 2019, 9:46:03 AM	24.00 KiB
	Stirling_Formula.gz	Jun 22, 2019, 9:46:03 AM	2.97 KiB
	Stochastic_Matrices.db	Jun 22, 2019, 9:05:30 AM	48.00 KiB
	Stochastic_Matrices.gz	Jun 22, 2019, 9:05:30 AM	12.85 KiB
	Stone_Algebras.db	Jun 22, 2019, 8:31:32 AM	24.00 KiB
	Stone_Algebras.gz	Jun 22, 2019, 8:31:32 AM	2.41 KiB
	Stone_Kleene_Relation_Algebras.db	Jun 22, 2019, 9:12:36 AM	28.00 KiB
	Stone_Kleene_Relation_Algebras.gz	Jun 22, 2019, 9:12:36 AM	1.38 KiB
	Stone_Relation_Algebras.db	Jun 22, 2019, 9:04:43 AM	24.00 KiB
	Stone_Relation_Algebras.gz	Jun 22, 2019, 9:04:43 AM	1.92 KiB
	Store_Buffer_Reduction.db	Jun 22, 2019, 9:20:39 AM	32.00 KiB
	Store_Buffer_Reduction.gz	Jun 22, 2019, 9:20:39 AM	8.18 KiB
	Stream_Fusion_Code.db	Jun 22, 2019, 9:49:57 AM	20.00 KiB
	Stream_Fusion_Code.gz	Jun 22, 2019, 9:49:57 AM	3.29 KiB
	Stream-Fusion.db	Jun 22, 2019, 9:51:03 AM	20.00 KiB
	Stream-Fusion.gz	Jun 22, 2019, 9:51:03 AM	624 B
	Strong_Security.db	Jun 22, 2019, 9:51:16 AM	20.00 KiB
	Strong_Security.gz	Jun 22, 2019, 9:51:16 AM	18.08 KiB
	Sturm_Sequences.db	Jun 22, 2019, 9:38:45 AM	24.00 KiB
	Sturm_Sequences.gz	Jun 22, 2019, 9:38:45 AM	839 B
	Sturm_Tarski.db	Jun 22, 2019, 9:48:59 AM	20.00 KiB
	Sturm_Tarski.gz	Jun 22, 2019, 9:48:59 AM	287 B
	Stuttering_Equivalence.db	Jun 22, 2019, 9:52:37 AM	20.00 KiB
	Stuttering_Equivalence.gz	Jun 22, 2019, 9:52:37 AM	2.16 KiB
	Subresultants.db	Jun 22, 2019, 8:50:06 AM	24.00 KiB
	Subresultants.gz	Jun 22, 2019, 8:50:06 AM	1.55 KiB
	Sugar.db	Jun 22, 2019, 9:52:59 AM	20.00 KiB
	Sugar.gz	Jun 22, 2019, 9:52:59 AM	311 B
	SumSquares.db	Jun 22, 2019, 9:52:04 AM	20.00 KiB
	SumSquares.gz	Jun 22, 2019, 9:52:04 AM	338 B
	SuperCalc.db	Jun 22, 2019, 9:45:50 AM	24.00 KiB
	SuperCalc.gz	Jun 22, 2019, 9:45:50 AM	804 B
	Surprise_Paradox.db	Jun 22, 2019, 9:52:45 AM	20.00 KiB
	Surprise_Paradox.gz	Jun 22, 2019, 9:52:45 AM	623 B
	Symmetric_Polynomials.db	Jun 22, 2019, 9:36:16 AM	28.00 KiB
	Symmetric_Polynomials.gz	Jun 22, 2019, 9:36:16 AM	7.82 KiB
	System.db	Jun 4, 2019, 10:47:17 PM	20.00 KiB
	System.gz	Jun 4, 2019, 10:47:17 PM	334 B
	Tail_Recursive_Functions.db	Jun 22, 2019, 9:52:12 AM	20.00 KiB
	Tail_Recursive_Functions.gz	Jun 22, 2019, 9:52:12 AM	642 B
	Tarskis_Geometry.db	Jun 22, 2019, 9:45:11 AM	24.00 KiB
	Tarskis_Geometry.gz	Jun 22, 2019, 9:45:11 AM	2.83 KiB
	Taylor_Models.db	Jun 22, 2019, 9:28:09 AM	28.00 KiB
	Taylor_Models.gz	Jun 22, 2019, 9:28:09 AM	55.76 KiB
	Timed_Automata.db	Jun 22, 2019, 9:23:19 AM	32.00 KiB
	Timed_Automata.gz	Jun 22, 2019, 9:23:19 AM	2.66 KiB
	TLA.db	Jun 22, 2019, 9:50:34 AM	20.00 KiB
	TLA.gz	Jun 22, 2019, 9:50:34 AM	1.33 KiB
	Topology.db	Jun 22, 2019, 9:52:12 AM	20.00 KiB
	Topology.gz	Jun 22, 2019, 9:52:12 AM	1.63 KiB
	TortoiseHare.db	Jun 22, 2019, 9:52:31 AM	20.00 KiB
	TortoiseHare.gz	Jun 22, 2019, 9:52:31 AM	475 B
	Transcendence_Series_Hancl_Rucki.db	Jun 22, 2019, 9:09:14 AM	44.00 KiB
	Transcendence_Series_Hancl_Rucki.gz	Jun 22, 2019, 9:09:14 AM	23.68 KiB
	Transformer_Semantics.db	Jun 22, 2019, 9:51:17 AM	20.00 KiB
	Transformer_Semantics.gz	Jun 22, 2019, 9:51:17 AM	965 B
	Transition_Systems_and_Automata.db	Jun 22, 2019, 9:01:41 AM	48.00 KiB
	Transition_Systems_and_Automata.gz	Jun 22, 2019, 9:01:41 AM	20.04 KiB
	Transitive-Closure.db	Jun 22, 2019, 9:52:36 AM	20.00 KiB
	Transitive-Closure.gz	Jun 22, 2019, 9:52:36 AM	808 B
	Transitive-Closure-II.db	Jun 22, 2019, 9:50:11 AM	20.00 KiB
	Transitive-Closure-II.gz	Jun 22, 2019, 9:50:11 AM	1.51 KiB
	Treaps.db	Jun 22, 2019, 9:43:29 AM	24.00 KiB
	Treaps.gz	Jun 22, 2019, 9:43:29 AM	3.31 KiB
	Tree_Decomposition.db	Jun 22, 2019, 9:52:05 AM	20.00 KiB
	Tree_Decomposition.gz	Jun 22, 2019, 9:52:05 AM	600 B
	Tree-Automata.db	Jun 22, 2019, 9:41:08 AM	48.00 KiB
	Tree-Automata.gz	Jun 22, 2019, 9:41:08 AM	2.31 KiB
	Triangle.db	Jun 22, 2019, 9:52:19 AM	20.00 KiB
	Triangle.gz	Jun 22, 2019, 9:52:19 AM	307 B
	Trie.db	Jun 22, 2019, 9:47:15 AM	20.00 KiB
	Trie.gz	Jun 22, 2019, 9:47:15 AM	348 B
	Tutorial.db	Jun 22, 2019, 9:47:53 AM	24.00 KiB
	Tutorial.gz	Jun 22, 2019, 9:47:53 AM	5.80 KiB
	Twelvefold_Way.db	Jun 22, 2019, 9:40:13 AM	24.00 KiB
	Twelvefold_Way.gz	Jun 22, 2019, 9:40:13 AM	1.68 KiB
	Tycon.db	Jun 22, 2019, 9:51:44 AM	20.00 KiB
	Tycon.gz	Jun 22, 2019, 9:51:44 AM	2.40 KiB
	Typeclass_Hierarchy.db	Jun 22, 2019, 9:51:29 AM	20.00 KiB
	Typeclass_Hierarchy.gz	Jun 22, 2019, 9:51:29 AM	1.75 KiB
	Types_Tableaus_and_Goedels_God.db	Jun 22, 2019, 9:49:35 AM	20.00 KiB
	Types_Tableaus_and_Goedels_God.gz	Jun 22, 2019, 9:49:35 AM	2.24 KiB
	Universal_Turing_Machine.db	Jun 22, 2019, 9:09:39 AM	40.00 KiB
	Universal_Turing_Machine.gz	Jun 22, 2019, 9:09:39 AM	46.19 KiB
	UpDown_Scheme.db	Jun 22, 2019, 9:45:47 AM	24.00 KiB
	UpDown_Scheme.gz	Jun 22, 2019, 9:45:47 AM	4.94 KiB
	UPF_Firewall.db	Jun 22, 2019, 9:33:22 AM	28.00 KiB
	UPF_Firewall.gz	Jun 22, 2019, 9:33:22 AM	4.12 KiB
	UPF.db	Jun 22, 2019, 9:28:17 AM	20.00 KiB
	UPF.gz	Jun 22, 2019, 9:28:17 AM	1.25 KiB
	UTP.db	Jun 22, 2019, 9:44:30 AM	24.00 KiB
	UTP.gz	Jun 22, 2019, 9:44:30 AM	3.65 KiB
	UTP-Toolkit.db	Jun 22, 2019, 9:39:10 AM	24.00 KiB
	UTP-Toolkit.gz	Jun 22, 2019, 9:39:10 AM	2.88 KiB
	Valuation.db	Jun 22, 2019, 9:44:02 AM	24.00 KiB
	Valuation.gz	Jun 22, 2019, 9:44:02 AM	1.36 KiB
	VectorSpace.db	Jun 22, 2019, 9:45:44 AM	24.00 KiB
	VectorSpace.gz	Jun 22, 2019, 9:45:44 AM	1.32 KiB
	Verified-Prover.db	Jun 22, 2019, 9:51:41 AM	20.00 KiB
	Verified-Prover.gz	Jun 22, 2019, 9:51:41 AM	1.00 KiB
	VerifyThis2018.db	Jun 22, 2019, 9:41:36 AM	60.00 KiB
	VerifyThis2018.gz	Jun 22, 2019, 9:41:36 AM	7.95 KiB
	Vickrey_Clarke_Groves.db	Jun 22, 2019, 9:30:07 AM	28.00 KiB
	Vickrey_Clarke_Groves.gz	Jun 22, 2019, 9:30:07 AM	851 B
	VolpanoSmith.db	Jun 22, 2019, 9:51:29 AM	20.00 KiB
	VolpanoSmith.gz	Jun 22, 2019, 9:51:29 AM	10.16 KiB
	WebAssembly.db	Jun 22, 2019, 9:29:40 AM	64.00 KiB
	WebAssembly.gz	Jun 22, 2019, 9:29:40 AM	7.64 KiB
	Weight_Balanced_Trees.db	Jun 22, 2019, 9:49:08 AM	20.00 KiB
	Weight_Balanced_Trees.gz	Jun 22, 2019, 9:49:08 AM	1.10 KiB
	Well_Quasi_Orders.db	Jun 22, 2019, 9:47:41 AM	24.00 KiB
	Well_Quasi_Orders.gz	Jun 22, 2019, 9:47:41 AM	2.88 KiB
	WHATandWHERE_Security.db	Jun 22, 2019, 9:47:15 AM	24.00 KiB
	WHATandWHERE_Security.gz	Jun 22, 2019, 9:47:15 AM	16.11 KiB
	Winding_Number_Eval.db	Jun 22, 2019, 9:31:45 AM	28.00 KiB
	Winding_Number_Eval.gz	Jun 22, 2019, 9:31:45 AM	5.06 KiB
	Word_Lib.db	Jun 22, 2019, 8:31:52 AM	24.00 KiB
	Word_Lib.gz	Jun 22, 2019, 8:31:52 AM	1.83 KiB
	WorkerWrapper.db	Jun 22, 2019, 9:51:31 AM	20.00 KiB
	WorkerWrapper.gz	Jun 22, 2019, 9:51:31 AM	1.04 KiB
	XML.db	Jun 22, 2019, 9:48:06 AM	20.00 KiB
	XML.gz	Jun 22, 2019, 9:48:06 AM	2.20 KiB
	Zeta_Function.db	Jun 22, 2019, 9:24:05 AM	28.00 KiB
	Zeta_Function.gz	Jun 22, 2019, 9:24:05 AM	4.48 KiB
	ZF.db	Jun 4, 2019, 10:47:33 PM	20.00 KiB
	ZF.gz	Jun 4, 2019, 10:47:33 PM	26.53 KiB
	ZF-AC.db	Jun 4, 2019, 10:47:41 PM	20.00 KiB
	ZF-AC.gz	Jun 4, 2019, 10:47:41 PM	1.52 KiB
	ZF-Coind.db	Jun 4, 2019, 10:47:35 PM	20.00 KiB
	ZF-Coind.gz	Jun 4, 2019, 10:47:35 PM	926 B
	ZF-Constructible.db	Jun 4, 2019, 10:47:48 PM	20.00 KiB
	ZF-Constructible.gz	Jun 4, 2019, 10:47:48 PM	3.66 KiB
	ZF-ex.db	Jun 4, 2019, 10:47:42 PM	20.00 KiB
	ZF-ex.gz	Jun 4, 2019, 10:47:42 PM	1.74 KiB
	ZF-IMP.db	Jun 4, 2019, 10:47:38 PM	20.00 KiB
	ZF-IMP.gz	Jun 4, 2019, 10:47:38 PM	390 B
	ZF-Induct.db	Jun 4, 2019, 10:47:44 PM	20.00 KiB
	ZF-Induct.gz	Jun 4, 2019, 10:47:44 PM	3.30 KiB
	ZF-Resid.db	Jun 4, 2019, 10:47:35 PM	20.00 KiB
	ZF-Resid.gz	Jun 4, 2019, 10:47:35 PM	749 B
	ZF-UNITY.db	Jun 4, 2019, 10:47:53 PM	20.00 KiB
	ZF-UNITY.gz	Jun 4, 2019, 10:47:53 PM	1.75 KiB
(all files in zip)