Artifacts of isabelle-all #1197

	Abortable_Linearizable_Modules.db	Jun 4, 2019, 11:49:28 PM	28.00 KiB
	Abortable_Linearizable_Modules.gz	Jun 4, 2019, 11:49:28 PM	819 B
	Abs_Int_ITP2012.db	Jun 4, 2019, 11:59:22 PM	28.00 KiB
	Abs_Int_ITP2012.gz	Jun 4, 2019, 11:59:22 PM	9.03 KiB
	Abstract_Completeness.db	Jun 5, 2019, 12:08:22 AM	20.00 KiB
	Abstract_Completeness.gz	Jun 5, 2019, 12:08:22 AM	1.82 KiB
	Abstract_Soundness.db	Jun 5, 2019, 12:10:44 AM	20.00 KiB
	Abstract_Soundness.gz	Jun 5, 2019, 12:10:44 AM	758 B
	Abstract-Hoare-Logics.db	Jun 5, 2019, 12:12:34 AM	20.00 KiB
	Abstract-Hoare-Logics.gz	Jun 5, 2019, 12:12:34 AM	15.77 KiB
	Abstract-Rewriting.db	Jun 4, 2019, 11:38:06 PM	24.00 KiB
	Abstract-Rewriting.gz	Jun 4, 2019, 11:38:06 PM	2.36 KiB
	Affine_Arithmetic.db	Jun 4, 2019, 11:13:28 PM	52.00 KiB
	Affine_Arithmetic.gz	Jun 4, 2019, 11:13:28 PM	23.78 KiB
	Aggregation_Algebras.db	Jun 4, 2019, 11:53:41 PM	28.00 KiB
	Aggregation_Algebras.gz	Jun 4, 2019, 11:53:41 PM	3.13 KiB
	Akra_Bazzi.db	Jun 4, 2019, 11:59:28 PM	28.00 KiB
	Akra_Bazzi.gz	Jun 4, 2019, 11:59:28 PM	6.36 KiB
	Algebraic_Numbers.db	Jun 4, 2019, 11:22:39 PM	80.00 KiB
	Algebraic_Numbers.gz	Jun 4, 2019, 11:22:39 PM	7.65 KiB
	Algebraic_VCs.db	Jun 4, 2019, 11:32:18 PM	36.00 KiB
	Algebraic_VCs.gz	Jun 4, 2019, 11:32:18 PM	4.67 KiB
	Allen_Calculus.db	Jun 4, 2019, 11:39:05 PM	28.00 KiB
	Allen_Calculus.gz	Jun 4, 2019, 11:39:05 PM	1.72 KiB
	Amortized_Complexity.db	Jun 5, 2019, 12:01:57 AM	28.00 KiB
	Amortized_Complexity.gz	Jun 5, 2019, 12:01:57 AM	3.33 KiB
	AnselmGod.db	Jun 5, 2019, 12:13:48 AM	20.00 KiB
	AnselmGod.gz	Jun 5, 2019, 12:13:48 AM	250 B
	Applicative_Lifting.db	Jun 4, 2019, 11:57:21 PM	24.00 KiB
	Applicative_Lifting.gz	Jun 4, 2019, 11:57:21 PM	4.95 KiB
	Architectural_Design_Patterns.db	Jun 5, 2019, 12:08:04 AM	24.00 KiB
	Architectural_Design_Patterns.gz	Jun 5, 2019, 12:08:04 AM	19.34 KiB
	ArrowImpossibilityGS.db	Jun 5, 2019, 12:13:12 AM	20.00 KiB
	ArrowImpossibilityGS.gz	Jun 5, 2019, 12:13:12 AM	914 B
	Auto2_HOL.db	Jun 4, 2019, 10:52:14 PM	24.00 KiB
	Auto2_HOL.gz	Jun 4, 2019, 10:52:14 PM	29.03 KiB
	Auto2_Imperative_HOL.db	Jun 4, 2019, 11:20:52 PM	48.00 KiB
	Auto2_Imperative_HOL.gz	Jun 4, 2019, 11:20:52 PM	82.76 KiB
	AutoFocus-Stream.db	Jun 5, 2019, 12:03:56 AM	24.00 KiB
	AutoFocus-Stream.gz	Jun 5, 2019, 12:03:56 AM	1.58 KiB
	Automatic_Refinement.db	Jun 4, 2019, 10:52:26 PM	24.00 KiB
	Automatic_Refinement.gz	Jun 4, 2019, 10:52:26 PM	9.81 KiB
	AVL-Trees.db	Jun 5, 2019, 12:11:23 AM	20.00 KiB
	AVL-Trees.gz	Jun 5, 2019, 12:11:23 AM	590 B
	AWN.db	Jun 4, 2019, 11:57:51 PM	24.00 KiB
	AWN.gz	Jun 4, 2019, 11:57:51 PM	3.15 KiB
	AxiomaticCategoryTheory.db	Jun 5, 2019, 12:09:16 AM	20.00 KiB
	AxiomaticCategoryTheory.gz	Jun 5, 2019, 12:09:16 AM	1.57 KiB
	BDD.db	Jun 5, 2019, 12:02:35 AM	24.00 KiB
	BDD.gz	Jun 5, 2019, 12:02:35 AM	1.30 KiB
	Bell_Numbers_Spivey.db	Jun 5, 2019, 12:11:53 AM	20.00 KiB
	Bell_Numbers_Spivey.gz	Jun 5, 2019, 12:11:53 AM	982 B
	Berlekamp_Zassenhaus.db	Jun 4, 2019, 11:16:03 PM	32.00 KiB
	Berlekamp_Zassenhaus.gz	Jun 4, 2019, 11:16:03 PM	5.22 KiB
	Bernoulli.db	Jun 5, 2019, 12:12:09 AM	20.00 KiB
	Bernoulli.gz	Jun 5, 2019, 12:12:09 AM	1.05 KiB
	Bertrands_Postulate.db	Jun 5, 2019, 12:03:31 AM	24.00 KiB
	Bertrands_Postulate.gz	Jun 5, 2019, 12:03:31 AM	2.21 KiB
	BinarySearchTree.db	Jun 5, 2019, 12:13:39 AM	20.00 KiB
	BinarySearchTree.gz	Jun 5, 2019, 12:13:39 AM	627 B
	Binding_Syntax_Theory.db	Jun 4, 2019, 11:50:38 PM	32.00 KiB
	Binding_Syntax_Theory.gz	Jun 4, 2019, 11:50:38 PM	5.81 KiB
	Binomial-Heaps.db	Jun 5, 2019, 12:09:56 AM	36.00 KiB
	Binomial-Heaps.gz	Jun 5, 2019, 12:09:56 AM	1.39 KiB
	Binomial-Queues.db	Jun 5, 2019, 12:12:54 AM	20.00 KiB
	Binomial-Queues.gz	Jun 5, 2019, 12:12:54 AM	759 B
	BNF_CC.db	Jun 5, 2019, 12:10:25 AM	20.00 KiB
	BNF_CC.gz	Jun 5, 2019, 12:10:25 AM	4.80 KiB
	BNF_Operations.db	Jun 5, 2019, 12:11:43 AM	20.00 KiB
	BNF_Operations.gz	Jun 5, 2019, 12:11:43 AM	2.61 KiB
	Bondy.db	Jun 5, 2019, 12:13:55 AM	20.00 KiB
	Bondy.gz	Jun 7, 2019, 12:46:49 PM	189 B
	Boolean_Expression_Checkers.db	Jun 5, 2019, 12:10:13 AM	20.00 KiB
	Boolean_Expression_Checkers.gz	Jun 5, 2019, 12:10:13 AM	542 B
	Bounded_Deducibility_Security.db	Jun 5, 2019, 12:13:04 AM	20.00 KiB
	Bounded_Deducibility_Security.gz	Jun 5, 2019, 12:13:04 AM	1.04 KiB
	Buchi_Complementation.db	Jun 5, 2019, 12:04:40 AM	304.00 KiB
	Buchi_Complementation.gz	Jun 5, 2019, 12:04:40 AM	678 B
	Budan_Fourier.db	Jun 5, 2019, 12:08:53 AM	20.00 KiB
	Budan_Fourier.gz	Jun 5, 2019, 12:08:53 AM	423 B
	Buffons_Needle.db	Jun 5, 2019, 12:13:25 AM	20.00 KiB
	Buffons_Needle.gz	Jun 5, 2019, 12:13:25 AM	654 B
	Buildings.db	Jun 4, 2019, 11:55:06 PM	28.00 KiB
	Buildings.gz	Jun 4, 2019, 11:55:06 PM	1.76 KiB
	BytecodeLogicJmlTypes.db	Jun 4, 2019, 11:59:05 PM	28.00 KiB
	BytecodeLogicJmlTypes.gz	Jun 4, 2019, 11:59:05 PM	34.31 KiB
	CakeML.db	Jun 4, 2019, 11:09:13 PM	56.00 KiB
	CakeML.gz	Jun 4, 2019, 11:09:13 PM	62.55 KiB
	Call_Arity.db	Jun 5, 2019, 12:03:37 AM	24.00 KiB
	Call_Arity.gz	Jun 5, 2019, 12:03:37 AM	5.64 KiB
	Card_Equiv_Relations.db	Jun 5, 2019, 12:13:58 AM	20.00 KiB
	Card_Equiv_Relations.gz	Jun 5, 2019, 12:13:58 AM	228 B
	Card_Multisets.db	Jun 5, 2019, 12:12:31 AM	20.00 KiB
	Card_Multisets.gz	Jun 5, 2019, 12:12:31 AM	1.68 KiB
	Card_Number_Partitions.db	Jun 5, 2019, 12:13:32 AM	20.00 KiB
	Card_Number_Partitions.gz	Jun 5, 2019, 12:13:32 AM	399 B
	Card_Partitions.db	Jun 5, 2019, 12:12:46 AM	20.00 KiB
	Card_Partitions.gz	Jun 5, 2019, 12:12:46 AM	1.28 KiB
	Cartan_FP.db	Jun 5, 2019, 12:13:48 AM	20.00 KiB
	Cartan_FP.gz	Jun 5, 2019, 12:13:48 AM	403 B
	Case_Labeling.db	Jun 5, 2019, 12:13:20 AM	20.00 KiB
	Case_Labeling.gz	Jun 5, 2019, 12:13:20 AM	3.29 KiB
	Catalan_Numbers.db	Jun 5, 2019, 12:11:25 AM	20.00 KiB
	Catalan_Numbers.gz	Jun 5, 2019, 12:11:25 AM	2.62 KiB
	Category.db	Jun 5, 2019, 12:13:11 AM	20.00 KiB
	Category.gz	Jun 5, 2019, 12:13:11 AM	1.45 KiB
	Category2.db	Jun 5, 2019, 12:11:30 AM	20.00 KiB
	Category2.gz	Jun 5, 2019, 12:11:30 AM	3.20 KiB
	Category3.db	Jun 4, 2019, 11:03:47 PM	56.00 KiB
	Category3.gz	Jun 4, 2019, 11:03:47 PM	3.88 KiB
	Cauchy.db	Jun 4, 2019, 11:55:22 PM	20.00 KiB
	Cauchy.gz	Jun 4, 2019, 11:55:22 PM	588 B
	CAVA_Automata.db	Jun 4, 2019, 11:01:43 PM	24.00 KiB
	CAVA_Automata.gz	Jun 4, 2019, 11:01:43 PM	7.96 KiB
	CAVA_Base.db	Jun 4, 2019, 10:59:50 PM	20.00 KiB
	CAVA_Base.gz	Jun 4, 2019, 10:59:50 PM	3.65 KiB
	CAVA_LTL_Modelchecker.db	Jun 4, 2019, 11:21:36 PM	44.00 KiB
	CAVA_LTL_Modelchecker.gz	Jun 4, 2019, 11:21:36 PM	45.13 KiB
	CAVA_Setup.db	Jun 4, 2019, 11:13:19 PM	76.00 KiB
	CAVA_Setup.gz	Jun 4, 2019, 11:13:19 PM	55.38 KiB
	Cayley_Hamilton.db	Jun 5, 2019, 12:11:17 AM	20.00 KiB
	Cayley_Hamilton.gz	Jun 5, 2019, 12:11: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 5, 2019, 12:10:59 AM	20.00 KiB
	CCS.gz	Jun 5, 2019, 12:10:59 AM	6.47 KiB
	Certification_Monads.db	Jun 5, 2019, 12:13:23 AM	20.00 KiB
	Certification_Monads.gz	Jun 5, 2019, 12:13:23 AM	2.24 KiB
	Chord_Segments.db	Jun 5, 2019, 12:13:09 AM	20.00 KiB
	Chord_Segments.gz	Jun 5, 2019, 12:13:09 AM	348 B
	Circus.db	Jun 5, 2019, 12:06:05 AM	24.00 KiB
	Circus.gz	Jun 5, 2019, 12:06:05 AM	26.19 KiB
	CISC-Kernel.db	Jun 5, 2019, 12:11:05 AM	20.00 KiB
	CISC-Kernel.gz	Jun 5, 2019, 12:11:05 AM	2.35 KiB
	Classes.db	Jun 5, 2019, 12:13:40 AM	20.00 KiB
	Classes.gz	Jun 5, 2019, 12:13:40 AM	669 B
	ClockSynchInst.db	Jun 5, 2019, 12:13:40 AM	20.00 KiB
	ClockSynchInst.gz	Jun 5, 2019, 12:13:40 AM	296 B
	Codegen.db	Jun 5, 2019, 12:01:37 AM	24.00 KiB
	Codegen.gz	Jun 5, 2019, 12:01:37 AM	5.21 KiB
	CofGroups.db	Jun 5, 2019, 12:13:50 AM	20.00 KiB
	CofGroups.gz	Jun 5, 2019, 12:13:50 AM	513 B
	Coinductive_Languages.db	Jun 5, 2019, 12:09:53 AM	20.00 KiB
	Coinductive_Languages.gz	Jun 5, 2019, 12:09:53 AM	2.70 KiB
	Coinductive.db	Jun 4, 2019, 11:46:47 PM	32.00 KiB
	Coinductive.gz	Jun 4, 2019, 11:46:47 PM	7.91 KiB
	Collections_Examples.db	Jun 4, 2019, 11:42:55 PM	72.00 KiB
	Collections_Examples.gz	Jun 4, 2019, 11:42:55 PM	28.84 KiB
	Collections.db	Jun 4, 2019, 10:59:22 PM	52.00 KiB
	Collections.gz	Jun 4, 2019, 10:59:22 PM	40.53 KiB
	Comparison_Sort_Lower_Bound.db	Jun 5, 2019, 12:12:45 AM	20.00 KiB
	Comparison_Sort_Lower_Bound.gz	Jun 5, 2019, 12:12:45 AM	996 B
	Compiling-Exceptions-Correctly.db	Jun 5, 2019, 12:13:11 AM	20.00 KiB
	Compiling-Exceptions-Correctly.gz	Jun 5, 2019, 12:13:11 AM	449 B
	Completeness.db	Jun 5, 2019, 12:11:08 AM	20.00 KiB
	Completeness.gz	Jun 5, 2019, 12:11:08 AM	2.88 KiB
	Complx.db	Jun 4, 2019, 11:23:42 PM	36.00 KiB
	Complx.gz	Jun 4, 2019, 11:23:42 PM	14.21 KiB
	ComponentDependencies.db	Jun 4, 2019, 11:58:31 PM	24.00 KiB
	ComponentDependencies.gz	Jun 4, 2019, 11:58:31 PM	302 B
	Concurrent_Ref_Alg.db	Jun 5, 2019, 12:12:56 AM	20.00 KiB
	Concurrent_Ref_Alg.gz	Jun 5, 2019, 12:12:56 AM	1.19 KiB
	Concurrent_Revisions.db	Jun 5, 2019, 12:05:04 AM	24.00 KiB
	Concurrent_Revisions.gz	Jun 5, 2019, 12:05:04 AM	650 B
	ConcurrentIMP.db	Jun 5, 2019, 12:08:30 AM	20.00 KiB
	ConcurrentIMP.gz	Jun 5, 2019, 12:08:30 AM	1.80 KiB
	Consensus_Refined.db	Jun 5, 2019, 12:07:36 AM	24.00 KiB
	Consensus_Refined.gz	Jun 5, 2019, 12:07:36 AM	3.86 KiB
	Constructive_Cryptography.db	Jun 4, 2019, 11:47:10 PM	32.00 KiB
	Constructive_Cryptography.gz	Jun 4, 2019, 11:47:10 PM	7.56 KiB
	Constructor_Funs.db	Jun 5, 2019, 12:11:13 AM	20.00 KiB
	Constructor_Funs.gz	Jun 5, 2019, 12:11:13 AM	584 B
	Containers.db	Jun 4, 2019, 11:24:17 PM	32.00 KiB
	Containers.gz	Jun 4, 2019, 11:24:17 PM	21.73 KiB
	Containers-Benchmarks.db	Jun 4, 2019, 11:43:54 PM	36.00 KiB
	Containers-Benchmarks.gz	Jun 4, 2019, 11:43:54 PM	35.78 KiB
	Core_DOM.db	Jun 4, 2019, 11:27:04 PM	44.00 KiB
	Core_DOM.gz	Jun 4, 2019, 11:27:04 PM	17.17 KiB
	Corec.db	Jun 4, 2019, 11:56:49 PM	24.00 KiB
	Corec.gz	Jun 4, 2019, 11:56:48 PM	3.53 KiB
	CoreC++.db	Jun 4, 2019, 11:41:35 PM	32.00 KiB
	CoreC++.gz	Jun 4, 2019, 11:41:34 PM	45.73 KiB
	Count_Complex_Roots.db	Jun 4, 2019, 11:32:48 PM	32.00 KiB
	Count_Complex_Roots.gz	Jun 4, 2019, 11:32:48 PM	5.78 KiB
	CRDT.db	Jun 5, 2019, 12:06:01 AM	20.00 KiB
	CRDT.gz	Jun 5, 2019, 12:06:01 AM	1.37 KiB
	CryptHOL.db	Jun 4, 2019, 11:22:40 PM	32.00 KiB
	CryptHOL.gz	Jun 4, 2019, 11:22:40 PM	13.12 KiB
	CryptoBasedCompositionalProperties.db	Jun 5, 2019, 12:11:53 AM	20.00 KiB
	CryptoBasedCompositionalProperties.gz	Jun 5, 2019, 12:11:53 AM	458 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 5, 2019, 12:13:17 AM	20.00 KiB
	CYK.gz	Jun 5, 2019, 12:13:17 AM	306 B
	DataRefinementIBP.db	Jun 5, 2019, 12:13:30 AM	20.00 KiB
	DataRefinementIBP.gz	Jun 5, 2019, 12:13:30 AM	1.07 KiB
	Datatype_Order_Generator.db	Jun 4, 2019, 11:34:57 PM	32.00 KiB
	Datatype_Order_Generator.gz	Jun 4, 2019, 11:34:57 PM	6.64 KiB
	Datatypes.db	Jun 4, 2019, 11:43:41 PM	24.00 KiB
	Datatypes.gz	Jun 4, 2019, 11:43:41 PM	5.09 KiB
	Decl_Sem_Fun_PL.db	Jun 5, 2019, 12:07:43 AM	24.00 KiB
	Decl_Sem_Fun_PL.gz	Jun 5, 2019, 12:07:43 AM	12.97 KiB
	Decreasing-Diagrams.db	Jun 5, 2019, 12:10:22 AM	20.00 KiB
	Decreasing-Diagrams.gz	Jun 5, 2019, 12:10:22 AM	437 B
	Decreasing-Diagrams-II.db	Jun 5, 2019, 12:11:23 AM	20.00 KiB
	Decreasing-Diagrams-II.gz	Jun 5, 2019, 12:11:23 AM	1.57 KiB
	Deep_Learning.db	Jun 4, 2019, 11:38:20 PM	40.00 KiB
	Deep_Learning.gz	Jun 4, 2019, 11:38:20 PM	10.35 KiB
	Density_Compiler.db	Jun 4, 2019, 11:49:20 PM	28.00 KiB
	Density_Compiler.gz	Jun 4, 2019, 11:49:20 PM	5.66 KiB
	Dependent_SIFUM_Refinement.db	Jun 4, 2019, 11:47:37 PM	32.00 KiB
	Dependent_SIFUM_Refinement.gz	Jun 4, 2019, 11:47:37 PM	6.75 KiB
	Dependent_SIFUM_Type_Systems.db	Jun 4, 2019, 11:29:38 PM	28.00 KiB
	Dependent_SIFUM_Type_Systems.gz	Jun 4, 2019, 11:29:38 PM	28.01 KiB
	Depth-First-Search.db	Jun 5, 2019, 12:13:54 AM	20.00 KiB
	Depth-First-Search.gz	Jun 5, 2019, 12:13:54 AM	354 B
	Derangements.db	Jun 5, 2019, 12:11:23 AM	20.00 KiB
	Derangements.gz	Jun 5, 2019, 12:11:23 AM	1.81 KiB
	Deriving.db	Jun 4, 2019, 11:16:58 PM	36.00 KiB
	Deriving.gz	Jun 4, 2019, 11:16:58 PM	8.20 KiB
	Descartes_Sign_Rule.db	Jun 5, 2019, 12:13:43 AM	20.00 KiB
	Descartes_Sign_Rule.gz	Jun 5, 2019, 12:13:43 AM	245 B
	DFS_Framework.db	Jun 4, 2019, 11:41:07 PM	36.00 KiB
	DFS_Framework.gz	Jun 4, 2019, 11:41:07 PM	11.03 KiB
	Dict_Construction.db	Jun 5, 2019, 12:03:03 AM	24.00 KiB
	Dict_Construction.gz	Jun 5, 2019, 12:03:03 AM	11.21 KiB
	Differential_Dynamic_Logic.db	Jun 4, 2019, 11:26:46 PM	36.00 KiB
	Differential_Dynamic_Logic.gz	Jun 4, 2019, 11:26:46 PM	20.23 KiB
	Dijkstra_Shortest_Path.db	Jun 4, 2019, 11:56:26 PM	124.00 KiB
	Dijkstra_Shortest_Path.gz	Jun 4, 2019, 11:56:26 PM	30.07 KiB
	Diophantine_Eqns_Lin_Hom.db	Jun 5, 2019, 12:09:13 AM	648.00 KiB
	Diophantine_Eqns_Lin_Hom.gz	Jun 5, 2019, 12:09:13 AM	929 B
	Dirichlet_L.db	Jun 4, 2019, 11:59:12 PM	28.00 KiB
	Dirichlet_L.gz	Jun 4, 2019, 11:59:12 PM	3.57 KiB
	Dirichlet_Series.db	Jun 4, 2019, 11:18:26 PM	44.00 KiB
	Dirichlet_Series.gz	Jun 4, 2019, 11:18:26 PM	22.12 KiB
	Discrete_Summation.db	Jun 5, 2019, 12:13:37 AM	20.00 KiB
	Discrete_Summation.gz	Jun 5, 2019, 12:13:37 AM	827 B
	DiscretePricing.db	Jun 4, 2019, 11:58:41 PM	28.00 KiB
	DiscretePricing.gz	Jun 4, 2019, 11:58:41 PM	1.13 KiB
	DiskPaxos.db	Jun 5, 2019, 12:07:39 AM	24.00 KiB
	DiskPaxos.gz	Jun 5, 2019, 12:07:39 AM	442 B
	DPT-SAT-Solver.db	Jun 5, 2019, 12:13:16 AM	20.00 KiB
	DPT-SAT-Solver.gz	Jun 5, 2019, 12:13:16 AM	1.66 KiB
	Dynamic_Tables.db	Jun 5, 2019, 12:13:01 AM	20.00 KiB
	Dynamic_Tables.gz	Jun 5, 2019, 12:13:01 AM	556 B
	DynamicArchitectures.db	Jun 5, 2019, 12:05:45 AM	20.00 KiB
	DynamicArchitectures.gz	Jun 5, 2019, 12:05:45 AM	415 B
	E_Transcendental.db	Jun 4, 2019, 11:35:20 PM	32.00 KiB
	E_Transcendental.gz	Jun 4, 2019, 11:35:20 PM	5.32 KiB
	Echelon_Form.db	Jun 4, 2019, 11:12:26 PM	60.00 KiB
	Echelon_Form.gz	Jun 4, 2019, 11:12:26 PM	7.56 KiB
	EdmondsKarp_Maxflow.db	Jun 4, 2019, 11:55:09 PM	24.00 KiB
	EdmondsKarp_Maxflow.gz	Jun 4, 2019, 11:55:09 PM	20.16 KiB
	Efficient-Mergesort.db	Jun 5, 2019, 12:12:11 AM	20.00 KiB
	Efficient-Mergesort.gz	Jun 5, 2019, 12:12:11 AM	401 B
	Eisbach.db	Jun 5, 2019, 12:13:35 AM	20.00 KiB
	Eisbach.gz	Jun 5, 2019, 12:13:35 AM	965 B
	Elliptic_Curves_Group_Law.db	Jun 5, 2019, 12:01:21 AM	24.00 KiB
	Elliptic_Curves_Group_Law.gz	Jun 5, 2019, 12:01:21 AM	2.48 KiB
	Encodability_Process_Calculi.db	Jun 5, 2019, 12:02:46 AM	24.00 KiB
	Encodability_Process_Calculi.gz	Jun 5, 2019, 12:02:46 AM	942 B
	Epistemic_Logic.db	Jun 5, 2019, 12:12:54 AM	20.00 KiB
	Epistemic_Logic.gz	Jun 5, 2019, 12:12:54 AM	462 B
	Ergodic_Theory.db	Jun 4, 2019, 11:58:28 PM	28.00 KiB
	Ergodic_Theory.gz	Jun 4, 2019, 11:58:28 PM	3.09 KiB
	Error_Function.db	Jun 5, 2019, 12:11:30 AM	20.00 KiB
	Error_Function.gz	Jun 5, 2019, 12:11:30 AM	2.67 KiB
	Euler_MacLaurin.db	Jun 5, 2019, 12:09:27 AM	20.00 KiB
	Euler_MacLaurin.gz	Jun 5, 2019, 12:09:27 AM	3.24 KiB
	Euler_Partition.db	Jun 5, 2019, 12:11:47 AM	20.00 KiB
	Euler_Partition.gz	Jun 5, 2019, 12:11:47 AM	1.78 KiB
	Example-Submission.db	Jun 5, 2019, 12:13:58 AM	20.00 KiB
	Example-Submission.gz	Jun 5, 2019, 12:13:58 AM	204 B
	Factored_Transition_System_Bounding.db	Jun 4, 2019, 11:57:22 PM	28.00 KiB
	Factored_Transition_System_Bounding.gz	Jun 4, 2019, 11:57:22 PM	4.27 KiB
	Falling_Factorial_Sum.db	Jun 5, 2019, 12:13:25 AM	20.00 KiB
	Falling_Factorial_Sum.gz	Jun 5, 2019, 12:13:25 AM	1.09 KiB
	Farkas.db	Jun 4, 2019, 11:59:57 PM	28.00 KiB
	Farkas.gz	Jun 4, 2019, 11:59:57 PM	4.79 KiB
	Featherweight_OCL.db	Jun 4, 2019, 11:44:52 PM	32.00 KiB
	Featherweight_OCL.gz	Jun 4, 2019, 11:44:52 PM	31.72 KiB
	FeatherweightJava.db	Jun 5, 2019, 12:11:56 AM	20.00 KiB
	FeatherweightJava.gz	Jun 5, 2019, 12:11:56 AM	4.57 KiB
	Fermat3_4.db	Jun 5, 2019, 12:11:54 AM	20.00 KiB
	Fermat3_4.gz	Jun 5, 2019, 12:11:54 AM	361 B
	FFT.db	Jun 5, 2019, 12:13:54 AM	20.00 KiB
	FFT.gz	Jun 5, 2019, 12:13:54 AM	292 B
	FileRefinement.db	Jun 5, 2019, 12:12:33 AM	20.00 KiB
	FileRefinement.gz	Jun 5, 2019, 12:12:33 AM	325 B
	FinFun.db	Jun 5, 2019, 12:12:40 AM	20.00 KiB
	FinFun.gz	Jun 5, 2019, 12:12:40 AM	1.62 KiB
	Finger-Trees.db	Jun 5, 2019, 12:10:01 AM	40.00 KiB
	Finger-Trees.gz	Jun 5, 2019, 12:10:01 AM	1.53 KiB
	Finite_Automata_HF.db	Jun 5, 2019, 12:09:46 AM	20.00 KiB
	Finite_Automata_HF.gz	Jun 5, 2019, 12:09:46 AM	1.31 KiB
	First_Order_Terms.db	Jun 5, 2019, 12:12:29 AM	20.00 KiB
	First_Order_Terms.gz	Jun 5, 2019, 12:12:29 AM	938 B
	First_Welfare_Theorem.db	Jun 5, 2019, 12:12:38 AM	20.00 KiB
	First_Welfare_Theorem.gz	Jun 5, 2019, 12:12:38 AM	872 B
	Fishburn_Impossibility.db	Jun 5, 2019, 12:09:22 AM	24.00 KiB
	Fishburn_Impossibility.gz	Jun 5, 2019, 12:09:22 AM	3.41 KiB
	Fisher_Yates.db	Jun 5, 2019, 12:13:31 AM	20.00 KiB
	Fisher_Yates.gz	Jun 5, 2019, 12:13:31 AM	610 B
	Flow_Networks.db	Jun 4, 2019, 11:21:29 PM	32.00 KiB
	Flow_Networks.gz	Jun 4, 2019, 11:21:29 PM	15.58 KiB
	Floyd_Warshall.db	Jun 5, 2019, 12:10:55 AM	20.00 KiB
	Floyd_Warshall.gz	Jun 5, 2019, 12:10:55 AM	1.64 KiB
	FLP.db	Jun 5, 2019, 12:09:48 AM	20.00 KiB
	FLP.gz	Jun 5, 2019, 12:09:48 AM	999 B
	Flyspeck-Tame.db	Jun 4, 2019, 11:49:16 PM	32.00 KiB
	Flyspeck-Tame.gz	Jun 4, 2019, 11:49:16 PM	15.72 KiB
	FocusStreamsCaseStudies.db	Jun 5, 2019, 12:08:51 AM	20.00 KiB
	FocusStreamsCaseStudies.gz	Jun 5, 2019, 12:08:51 AM	963 B
	FOL_Harrison.db	Jun 5, 2019, 12:08:57 AM	28.00 KiB
	FOL_Harrison.gz	Jun 5, 2019, 12:08:57 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 5, 2019, 12:09:17 AM	20.00 KiB
	FOL-Fitting.gz	Jun 5, 2019, 12:09:17 AM	15.98 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 4, 2019, 11:09:26 PM	52.00 KiB
	Formal_SSA.gz	Jun 4, 2019, 11:09:26 PM	57.47 KiB
	Formula_Derivatives.db	Jun 4, 2019, 11:22:24 PM	40.00 KiB
	Formula_Derivatives.gz	Jun 4, 2019, 11:22:24 PM	4.83 KiB
	Formula_Derivatives-Examples.db	Jun 5, 2019, 12:07:03 AM	24.00 KiB
	Formula_Derivatives-Examples.gz	Jun 5, 2019, 12:07:03 AM	2.92 KiB
	Free-Boolean-Algebra.db	Jun 5, 2019, 12:13:53 AM	20.00 KiB
	Free-Boolean-Algebra.gz	Jun 5, 2019, 12:13:53 AM	515 B
	Free-Groups.db	Jun 4, 2019, 11:57:15 PM	28.00 KiB
	Free-Groups.gz	Jun 4, 2019, 11:57:15 PM	6.03 KiB
	Functional_Ordered_Resolution_Prover.db	Jun 4, 2019, 11:47:43 PM	36.00 KiB
	Functional_Ordered_Resolution_Prover.gz	Jun 4, 2019, 11:47:43 PM	13.27 KiB
	Functional-Automata.db	Jun 5, 2019, 12:10:05 AM	20.00 KiB
	Functional-Automata.gz	Jun 5, 2019, 12:10:05 AM	1.65 KiB
	Functions.db	Jun 5, 2019, 12:13:28 AM	20.00 KiB
	Functions.gz	Jun 5, 2019, 12:13:28 AM	529 B
	FunWithFunctions.db	Jun 5, 2019, 12:13:53 AM	20.00 KiB
	FunWithFunctions.gz	Jun 5, 2019, 12:13:53 AM	201 B
	FunWithTilings.db	Jun 5, 2019, 12:10:37 AM	20.00 KiB
	FunWithTilings.gz	Jun 5, 2019, 12:10:37 AM	399 B
	Gabow_SCC.db	Jun 4, 2019, 11:44:33 PM	28.00 KiB
	Gabow_SCC.gz	Jun 4, 2019, 11:44:33 PM	5.75 KiB
	Game_Based_Crypto.db	Jun 4, 2019, 11:33:30 PM	24.00 KiB
	Game_Based_Crypto.gz	Jun 4, 2019, 11:33:30 PM	9.34 KiB
	Gauss_Jordan.db	Jun 4, 2019, 11:55:03 PM	56.00 KiB
	Gauss_Jordan.gz	Jun 4, 2019, 11:55:03 PM	5.03 KiB
	Gauss-Jordan-Elim-Fun.db	Jun 5, 2019, 12:13:37 AM	20.00 KiB
	Gauss-Jordan-Elim-Fun.gz	Jun 5, 2019, 12:13:37 AM	271 B
	GenClock.db	Jun 5, 2019, 12:13:37 AM	20.00 KiB
	GenClock.gz	Jun 5, 2019, 12:13:37 AM	276 B
	General-Triangle.db	Jun 5, 2019, 12:13:58 AM	20.00 KiB
	General-Triangle.gz	Jun 5, 2019, 12:13:58 AM	199 B
	Generic_Deriving.db	Jun 5, 2019, 12:01:50 AM	24.00 KiB
	Generic_Deriving.gz	Jun 5, 2019, 12:01:50 AM	3.77 KiB
	GewirthPGCProof.db	Jun 5, 2019, 12:05:55 AM	20.00 KiB
	GewirthPGCProof.gz	Jun 5, 2019, 12:05:55 AM	2.91 KiB
	Girth_Chromatic.db	Jun 4, 2019, 11:58:08 PM	24.00 KiB
	Girth_Chromatic.gz	Jun 4, 2019, 11:58:08 PM	3.64 KiB
	GoedelGod.db	Jun 5, 2019, 12:12:22 AM	20.00 KiB
	GoedelGod.gz	Jun 5, 2019, 12:12:22 AM	255 B
	GPU_Kernel_PL.db	Jun 5, 2019, 12:12:24 AM	20.00 KiB
	GPU_Kernel_PL.gz	Jun 5, 2019, 12:12:24 AM	734 B
	Graph_Saturation.db	Jun 5, 2019, 12:06:25 AM	24.00 KiB
	Graph_Saturation.gz	Jun 5, 2019, 12:06:25 AM	858 B
	Graph_Theory.db	Jun 5, 2019, 12:05:54 AM	24.00 KiB
	Graph_Theory.gz	Jun 5, 2019, 12:05:54 AM	1.68 KiB
	GraphMarkingIBP.db	Jun 5, 2019, 12:09:34 AM	20.00 KiB
	GraphMarkingIBP.gz	Jun 5, 2019, 12:09:34 AM	1.55 KiB
	Green.db	Jun 4, 2019, 11:58:03 PM	28.00 KiB
	Green.gz	Jun 4, 2019, 11:58:03 PM	1.92 KiB
	Groebner_Bases.db	Jun 4, 2019, 11:10:07 PM	56.00 KiB
	Groebner_Bases.gz	Jun 4, 2019, 11:10:07 PM	36.64 KiB
	Gromov_Hyperbolicity.db	Jun 4, 2019, 11:46:33 PM	32.00 KiB
	Gromov_Hyperbolicity.gz	Jun 4, 2019, 11:46:33 PM	6.30 KiB
	Group-Ring-Module.db	Jun 4, 2019, 11:30:40 PM	36.00 KiB
	Group-Ring-Module.gz	Jun 4, 2019, 11:30:40 PM	3.22 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 5, 2019, 12:07:37 AM	24.00 KiB
	Heard_Of.gz	Jun 5, 2019, 12:07:37 AM	2.98 KiB
	HereditarilyFinite.db	Jun 4, 2019, 10:58:00 PM	20.00 KiB
	HereditarilyFinite.gz	Jun 4, 2019, 10:58:00 PM	971 B
	Hermite.db	Jun 4, 2019, 11:50:27 PM	28.00 KiB
	Hermite.gz	Jun 4, 2019, 11:50:27 PM	658 B
	Hidden_Markov_Models.db	Jun 4, 2019, 11:56:42 PM	24.00 KiB
	Hidden_Markov_Models.gz	Jun 4, 2019, 11:56:42 PM	7.72 KiB
	Higher_Order_Terms.db	Jun 5, 2019, 12:01:39 AM	28.00 KiB
	Higher_Order_Terms.gz	Jun 5, 2019, 12:01:39 AM	10.73 KiB
	Hoare_Time.db	Jun 4, 2019, 11:52:55 PM	32.00 KiB
	Hoare_Time.gz	Jun 4, 2019, 11:52:55 PM	62.54 KiB
	HOL.db	Jun 4, 2019, 10:51:29 PM	48.00 KiB
	HOL.gz	Jun 4, 2019, 10:51:29 PM	147.03 KiB
	HOL-Algebra.db	Jun 4, 2019, 11:00:45 PM	44.00 KiB
	HOL-Algebra.gz	Jun 4, 2019, 11:00:45 PM	5.94 KiB
	HOL-Analysis.db	Jun 4, 2019, 11:04:16 PM	104.00 KiB
	HOL-Analysis.gz	Jun 4, 2019, 11:04:15 PM	34.79 KiB
	HOL-Analysis-ex.db	Jun 5, 2019, 12:08:01 AM	20.00 KiB
	HOL-Analysis-ex.gz	Jun 5, 2019, 12:08:01 AM	222 B
	HOL-Auth.db	Jun 4, 2019, 11:39:14 PM	32.00 KiB
	HOL-Auth.gz	Jun 4, 2019, 11:39:14 PM	15.85 KiB
	HOL-Bali.db	Jun 4, 2019, 11:51:09 PM	28.00 KiB
	HOL-Bali.gz	Jun 4, 2019, 11:51:09 PM	15.82 KiB
	HOL-Cardinals.db	Jun 4, 2019, 11:45:23 PM	20.00 KiB
	HOL-Cardinals.gz	Jun 4, 2019, 11:45:23 PM	738 B
	HOLCF.db	Jun 4, 2019, 11:27:39 PM	20.00 KiB
	HOLCF.gz	Jun 4, 2019, 11:27:39 PM	6.07 KiB
	HOLCF-ex.db	Jun 5, 2019, 12:13:20 AM	20.00 KiB
	HOLCF-ex.gz	Jun 5, 2019, 12:13:20 AM	3.04 KiB
	HOLCF-FOCUS.db	Jun 5, 2019, 12:13:24 AM	20.00 KiB
	HOLCF-FOCUS.gz	Jun 5, 2019, 12:13:24 AM	240 B
	HOLCF-IMP.db	Jun 5, 2019, 12:12:55 AM	20.00 KiB
	HOLCF-IMP.gz	Jun 5, 2019, 12:12:55 AM	1.58 KiB
	HOLCF-Library.db	Jun 5, 2019, 12:02:43 AM	20.00 KiB
	HOLCF-Library.gz	Jun 5, 2019, 12:02:43 AM	2.13 KiB
	HOLCF-Prelude.db	Jun 5, 2019, 12:05:46 AM	24.00 KiB
	HOLCF-Prelude.gz	Jun 5, 2019, 12:05:46 AM	6.17 KiB
	HOLCF-Tutorial.db	Jun 5, 2019, 12:10:56 AM	20.00 KiB
	HOLCF-Tutorial.gz	Jun 5, 2019, 12:10:56 AM	2.07 KiB
	HOL-Codegenerator_Test.db	Jun 4, 2019, 11:26:53 PM	32.00 KiB
	HOL-Codegenerator_Test.gz	Jun 4, 2019, 11:26:53 PM	158.21 KiB
	HOL-Computational_Algebra.db	Jun 4, 2019, 10:57:11 PM	28.00 KiB
	HOL-Computational_Algebra.gz	Jun 4, 2019, 10:57:11 PM	3.29 KiB
	HOL-Corec_Examples.db	Jun 4, 2019, 11:27:00 PM	36.00 KiB
	HOL-Corec_Examples.gz	Jun 4, 2019, 11:26:59 PM	2.91 KiB
	HOL-CSP.db	Jun 4, 2019, 11:33:52 PM	44.00 KiB
	HOL-CSP.gz	Jun 4, 2019, 11:33:52 PM	1.53 KiB
	HOL-Data_Structures.db	Jun 4, 2019, 10:57:30 PM	48.00 KiB
	HOL-Data_Structures.gz	Jun 4, 2019, 10:57:30 PM	4.89 KiB
	HOL-Datatype_Examples.db	Jun 4, 2019, 11:48:31 PM	28.00 KiB
	HOL-Datatype_Examples.gz	Jun 4, 2019, 11:48:31 PM	5.57 KiB
	HOL-Decision_Procs.db	Jun 4, 2019, 11:09:45 PM	64.00 KiB
	HOL-Decision_Procs.gz	Jun 4, 2019, 11:09:45 PM	6.49 KiB
	HOL-Eisbach.db	Jun 5, 2019, 12:08:39 AM	20.00 KiB
	HOL-Eisbach.gz	Jun 5, 2019, 12:08:39 AM	12.33 KiB
	HOL-ex.db	Jun 4, 2019, 11:15:43 PM	52.00 KiB
	HOL-ex.gz	Jun 4, 2019, 11:15:43 PM	99.81 KiB
	HOL-Hahn_Banach.db	Jun 5, 2019, 12:13:20 AM	20.00 KiB
	HOL-Hahn_Banach.gz	Jun 5, 2019, 12:13:20 AM	1.02 KiB
	HOL-Hoare_Parallel.db	Jun 4, 2019, 11:51:41 PM	32.00 KiB
	HOL-Hoare_Parallel.gz	Jun 4, 2019, 11:51:41 PM	10.99 KiB
	HOL-Hoare.db	Jun 5, 2019, 12:07:19 AM	20.00 KiB
	HOL-Hoare.gz	Jun 5, 2019, 12:07:19 AM	7.84 KiB
	HOL-Homology.db	Jun 4, 2019, 11:44:56 PM	36.00 KiB
	HOL-Homology.gz	Jun 4, 2019, 11:44:56 PM	8.02 KiB
	HOL-IMP.db	Jun 4, 2019, 11:49:24 PM	32.00 KiB
	HOL-IMP.gz	Jun 4, 2019, 11:49:24 PM	22.47 KiB
	HOL-Imperative_HOL.db	Jun 4, 2019, 11:59:22 PM	24.00 KiB
	HOL-Imperative_HOL.gz	Jun 4, 2019, 11:59:22 PM	5.09 KiB
	HOL-Import.db	Jun 5, 2019, 12:13:51 AM	20.00 KiB
	HOL-Import.gz	Jun 5, 2019, 12:13:51 AM	679 B
	HOL-IMPP.db	Jun 5, 2019, 12:13:07 AM	20.00 KiB
	HOL-IMPP.gz	Jun 5, 2019, 12:13:07 AM	1.13 KiB
	HOL-Induct.db	Jun 5, 2019, 12:11:39 AM	20.00 KiB
	HOL-Induct.gz	Jun 5, 2019, 12:11:39 AM	2.16 KiB
	HOL-IOA.db	Jun 5, 2019, 12:13:33 AM	20.00 KiB
	HOL-IOA.gz	Jun 5, 2019, 12:13:33 AM	168 B
	HOL-Isar_Examples.db	Jun 5, 2019, 12:13:22 AM	20.00 KiB
	HOL-Isar_Examples.gz	Jun 5, 2019, 12:13:22 AM	1.35 KiB
	HOL-Lattice.db	Jun 5, 2019, 12:13:43 AM	20.00 KiB
	HOL-Lattice.gz	Jun 5, 2019, 12:13:43 AM	759 B
	HOL-Library.db	Jun 4, 2019, 10:55:34 PM	40.00 KiB
	HOL-Library.gz	Jun 4, 2019, 10:55:34 PM	31.95 KiB
	HOL-Matrix_LP.db	Jun 5, 2019, 12:12:09 AM	20.00 KiB
	HOL-Matrix_LP.gz	Jun 5, 2019, 12:12:09 AM	4.35 KiB
	HOL-Metis_Examples.db	Jun 5, 2019, 12:07:10 AM	24.00 KiB
	HOL-Metis_Examples.gz	Jun 5, 2019, 12:07:10 AM	3.62 KiB
	HOL-MicroJava.db	Jun 4, 2019, 11:52:06 PM	32.00 KiB
	HOL-MicroJava.gz	Jun 4, 2019, 11:52:06 PM	9.63 KiB
	HOL-Mirabelle.db	Jun 5, 2019, 12:10:50 AM	20.00 KiB
	HOL-Mirabelle.gz	Jun 5, 2019, 12:10:50 AM	927 B
	HOL-Mirabelle-ex.db	Jun 5, 2019, 12:11:08 AM	20.00 KiB
	HOL-Mirabelle-ex.gz	Jun 5, 2019, 12:11:08 AM	1.37 KiB
	HOL-Mutabelle.db	Jun 5, 2019, 12:13:53 AM	20.00 KiB
	HOL-Mutabelle.gz	Jun 5, 2019, 12:13:53 AM	1.02 KiB
	HOL-NanoJava.db	Jun 5, 2019, 12:12:48 AM	20.00 KiB
	HOL-NanoJava.gz	Jun 5, 2019, 12:12:48 AM	1.82 KiB
	HOL-Nitpick_Examples.db	Jun 4, 2019, 11:37:17 PM	36.00 KiB
	HOL-Nitpick_Examples.gz	Jun 4, 2019, 11:37:17 PM	57.49 KiB
	HOL-Nominal.db	Jun 4, 2019, 11:03:06 PM	20.00 KiB
	HOL-Nominal.gz	Jun 4, 2019, 11:03:06 PM	3.42 KiB
	HOL-Nominal-Examples.db	Jun 4, 2019, 11:15:37 PM	52.00 KiB
	HOL-Nominal-Examples.gz	Jun 4, 2019, 11:15:37 PM	85.69 KiB
	HOL-Nonstandard_Analysis.db	Jun 5, 2019, 12:10:36 AM	20.00 KiB
	HOL-Nonstandard_Analysis.gz	Jun 5, 2019, 12:10:36 AM	1.46 KiB
	HOL-Nonstandard_Analysis-Examples.db	Jun 5, 2019, 12:13:38 AM	20.00 KiB
	HOL-Nonstandard_Analysis-Examples.gz	Jun 5, 2019, 12:13:38 AM	172 B
	HOL-Number_Theory.db	Jun 4, 2019, 11:02:35 PM	28.00 KiB
	HOL-Number_Theory.gz	Jun 4, 2019, 11:02:35 PM	4.34 KiB
	HOL-ODE-ARCH-COMP.db	Jun 4, 2019, 11:40:55 PM	52.00 KiB
	HOL-ODE-ARCH-COMP.gz	Jun 4, 2019, 11:40:55 PM	2.94 KiB
	HOL-ODE-Examples.db	Jun 4, 2019, 11:40:30 PM	52.00 KiB
	HOL-ODE-Examples.gz	Jun 4, 2019, 11:40:30 PM	289.76 KiB
	HOL-ODE-Numerics.db	Jun 4, 2019, 11:29:47 PM	144.00 KiB
	HOL-ODE-Numerics.gz	Jun 4, 2019, 11:29:47 PM	64.36 KiB
	HOL-Predicate_Compile_Examples.db	Jun 4, 2019, 11:57:03 PM	28.00 KiB
	HOL-Predicate_Compile_Examples.gz	Jun 4, 2019, 11:57:03 PM	36.86 KiB
	HOL-Probability.db	Jun 4, 2019, 11:07:22 PM	36.00 KiB
	HOL-Probability.gz	Jun 4, 2019, 11:07:22 PM	11.25 KiB
	HOL-Probability-ex.db	Jun 5, 2019, 12:12:05 AM	20.00 KiB
	HOL-Probability-ex.gz	Jun 5, 2019, 12:12:05 AM	3.43 KiB
	HOL-Prolog.db	Jun 5, 2019, 12:13:55 AM	20.00 KiB
	HOL-Prolog.gz	Jun 5, 2019, 12:13:55 AM	463 B
	HOL-Proofs.db	Jun 4, 2019, 11:01:24 PM	72.00 KiB
	HOL-Proofs.gz	Jun 4, 2019, 11:01:24 PM	142.23 KiB
	HOL-Proofs-ex.db	Jun 5, 2019, 12:13:51 AM	20.00 KiB
	HOL-Proofs-ex.gz	Jun 5, 2019, 12:13:51 AM	6.74 KiB
	HOL-Proofs-Extraction.db	Jun 4, 2019, 11:44:16 PM	28.00 KiB
	HOL-Proofs-Extraction.gz	Jun 4, 2019, 11:44:16 PM	4.71 KiB
	HOL-Proofs-Lambda.db	Jun 4, 2019, 11:43:18 PM	28.00 KiB
	HOL-Proofs-Lambda.gz	Jun 4, 2019, 11:43:18 PM	3.09 KiB
	HOL-Quickcheck_Examples.db	Jun 4, 2019, 11:47:55 PM	28.00 KiB
	HOL-Quickcheck_Examples.gz	Jun 4, 2019, 11:47:55 PM	6.35 KiB
	HOL-Quotient_Examples.db	Jun 5, 2019, 12:04:20 AM	20.00 KiB
	HOL-Quotient_Examples.gz	Jun 5, 2019, 12:04:20 AM	2.77 KiB
	HOL-Real_Asymp.db	Jun 4, 2019, 11:52:09 PM	28.00 KiB
	HOL-Real_Asymp.gz	Jun 4, 2019, 11:52:09 PM	13.59 KiB
	HOL-Real_Asymp-Manual.db	Jun 5, 2019, 12:13:57 AM	20.00 KiB
	HOL-Real_Asymp-Manual.gz	Jun 5, 2019, 12:13:57 AM	265 B
	HOL-SET_Protocol.db	Jun 5, 2019, 12:02:44 AM	24.00 KiB
	HOL-SET_Protocol.gz	Jun 5, 2019, 12:02:44 AM	3.10 KiB
	HOL-SPARK.db	Jun 5, 2019, 12:08:25 AM	20.00 KiB
	HOL-SPARK.gz	Jun 5, 2019, 12:08:25 AM	1.43 KiB
	HOL-SPARK-Examples.db	Jun 5, 2019, 12:09:28 AM	20.00 KiB
	HOL-SPARK-Examples.gz	Jun 5, 2019, 12:09:28 AM	1.05 KiB
	HOL-SPARK-Manual.db	Jun 5, 2019, 12:13:28 AM	20.00 KiB
	HOL-SPARK-Manual.gz	Jun 5, 2019, 12:13:28 AM	683 B
	HOL-Statespace.db	Jun 5, 2019, 12:08:35 AM	20.00 KiB
	HOL-Statespace.gz	Jun 5, 2019, 12:08:35 AM	1.95 KiB
	HOL-TLA.db	Jun 5, 2019, 12:11:40 AM	20.00 KiB
	HOL-TLA.gz	Jun 5, 2019, 12:11:40 AM	606 B
	HOL-TLA-Buffer.db	Jun 5, 2019, 12:13:54 AM	20.00 KiB
	HOL-TLA-Buffer.gz	Jun 5, 2019, 12:13:54 AM	140 B
	HOL-TLA-Inc.db	Jun 5, 2019, 12:13:40 AM	20.00 KiB
	HOL-TLA-Inc.gz	Jun 5, 2019, 12:13:40 AM	221 B
	HOL-TLA-Memory.db	Jun 5, 2019, 12:12:03 AM	20.00 KiB
	HOL-TLA-Memory.gz	Jun 5, 2019, 12:12:03 AM	792 B
	HOL-TPTP.db	Jun 5, 2019, 12:12:50 AM	20.00 KiB
	HOL-TPTP.gz	Jun 5, 2019, 12:12:50 AM	13.35 KiB
	HOL-Types_To_Sets.db	Jun 5, 2019, 12:10:33 AM	20.00 KiB
	HOL-Types_To_Sets.gz	Jun 5, 2019, 12:10:33 AM	11.06 KiB
	HOL-UNITY.db	Jun 5, 2019, 12:05:05 AM	24.00 KiB
	HOL-UNITY.gz	Jun 5, 2019, 12:05:05 AM	3.51 KiB
	HOL-Unix.db	Jun 5, 2019, 12:12:56 AM	20.00 KiB
	HOL-Unix.gz	Jun 5, 2019, 12:12:56 AM	492 B
	HOL-Word.db	Jun 4, 2019, 10:52:09 PM	20.00 KiB
	HOL-Word.gz	Jun 4, 2019, 10:52:09 PM	4.57 KiB
	HOL-Word-SMT_Examples.db	Jun 4, 2019, 11:54:43 PM	24.00 KiB
	HOL-Word-SMT_Examples.gz	Jun 4, 2019, 11:54:43 PM	1.39 KiB
	HOL-ZF.db	Jun 5, 2019, 12:13:31 AM	20.00 KiB
	HOL-ZF.gz	Jun 5, 2019, 12:13:31 AM	1019 B
	HotelKeyCards.db	Jun 5, 2019, 12:13:05 AM	20.00 KiB
	HotelKeyCards.gz	Jun 5, 2019, 12:13:05 AM	578 B
	How_to_Prove_it.db	Jun 5, 2019, 12:13:58 AM	20.00 KiB
	How_to_Prove_it.gz	Jun 5, 2019, 12:13:58 AM	182 B
	HRB-Slicing.db	Jun 4, 2019, 11:17:13 PM	52.00 KiB
	HRB-Slicing.gz	Jun 4, 2019, 11:17:13 PM	147.18 KiB
	Huffman.db	Jun 5, 2019, 12:12:12 AM	20.00 KiB
	Huffman.gz	Jun 5, 2019, 12:12:11 AM	514 B
	Hybrid_Multi_Lane_Spatial_Logic.db	Jun 5, 2019, 12:04:12 AM	24.00 KiB
	Hybrid_Multi_Lane_Spatial_Logic.gz	Jun 5, 2019, 12:04:12 AM	1.07 KiB
	HyperCTL.db	Jun 5, 2019, 12:11:56 AM	20.00 KiB
	HyperCTL.gz	Jun 5, 2019, 12:11:56 AM	1.74 KiB
	IEEE_Floating_Point.db	Jun 5, 2019, 12:07:04 AM	24.00 KiB
	IEEE_Floating_Point.gz	Jun 5, 2019, 12:07:04 AM	2.75 KiB
	IMAP-CRDT.db	Jun 5, 2019, 12:09:43 AM	20.00 KiB
	IMAP-CRDT.gz	Jun 5, 2019, 12:09:43 AM	419 B
	IMP2.db	Jun 4, 2019, 11:48:55 PM	28.00 KiB
	IMP2.gz	Jun 4, 2019, 11:48:55 PM	52.54 KiB
	Imperative_Insertion_Sort.db	Jun 5, 2019, 12:13:19 AM	32.00 KiB
	Imperative_Insertion_Sort.gz	Jun 5, 2019, 12:13:19 AM	350 B
	Implementation.db	Jun 5, 2019, 12:13:37 AM	20.00 KiB
	Implementation.gz	Jun 5, 2019, 12:13:37 AM	2.25 KiB
	Impossible_Geometry.db	Jun 5, 2019, 12:12:19 AM	20.00 KiB
	Impossible_Geometry.gz	Jun 5, 2019, 12:12:19 AM	525 B
	Incompleteness.db	Jun 7, 2019, 12:07:45 AM	48.00 KiB
	Incompleteness.gz	Jun 7, 2019, 12:07:44 AM	17.78 KiB
	Incredible_Proof_Machine.db	Jun 5, 2019, 12:06:36 AM	24.00 KiB
	Incredible_Proof_Machine.gz	Jun 5, 2019, 12:06:36 AM	4.86 KiB
	Inductive_Confidentiality.db	Jun 5, 2019, 12:11:40 AM	20.00 KiB
	Inductive_Confidentiality.gz	Jun 5, 2019, 12:11:40 AM	2.63 KiB
	InformationFlowSlicing_Inter.db	Jun 5, 2019, 12:10:01 AM	20.00 KiB
	InformationFlowSlicing_Inter.gz	Jun 5, 2019, 12:10:01 AM	10.39 KiB
	InformationFlowSlicing.db	Jun 5, 2019, 12:12:45 AM	20.00 KiB
	InformationFlowSlicing.gz	Jun 5, 2019, 12:12:45 AM	3.42 KiB
	InfPathElimination.db	Jun 4, 2019, 11:48:48 PM	28.00 KiB
	InfPathElimination.gz	Jun 4, 2019, 11:48:48 PM	1.41 KiB
	Integration.db	Jun 5, 2019, 12:12:36 AM	20.00 KiB
	Integration.gz	Jun 5, 2019, 12:12:36 AM	1.32 KiB
	Intro.db	Jun 4, 2019, 10:47:13 PM	20.00 KiB
	Intro.gz	Jun 4, 2019, 10:47:13 PM	108 B
	IOA.db	Jun 5, 2019, 12:09:34 AM	20.00 KiB
	IOA.gz	Jun 5, 2019, 12:09:34 AM	2.58 KiB
	IOA-ABP.db	Jun 5, 2019, 12:13:00 AM	20.00 KiB
	IOA-ABP.gz	Jun 5, 2019, 12:13:00 AM	926 B
	IOA-ex.db	Jun 5, 2019, 12:13:53 AM	20.00 KiB
	IOA-ex.gz	Jun 5, 2019, 12:13:53 AM	122 B
	IOA-NTP.db	Jun 5, 2019, 12:12:41 AM	20.00 KiB
	IOA-NTP.gz	Jun 5, 2019, 12:12:41 AM	10.28 KiB
	IOA-Storage.db	Jun 5, 2019, 12:13:42 AM	20.00 KiB
	IOA-Storage.gz	Jun 5, 2019, 12:13:42 AM	204 B
	IP_Addresses.db	Jun 4, 2019, 10:58:33 PM	40.00 KiB
	IP_Addresses.gz	Jun 4, 2019, 10:58:33 PM	5.89 KiB
	Iptables_Semantics_Examples.db	Jun 4, 2019, 11:11:01 PM	52.00 KiB
	Iptables_Semantics_Examples.gz	Jun 4, 2019, 11:11:00 PM	73.62 KiB
	Iptables_Semantics.db	Jun 4, 2019, 11:03:21 PM	40.00 KiB
	Iptables_Semantics.gz	Jun 4, 2019, 11:03:21 PM	22.09 KiB
	Irrationality_J_Hancl.db	Jun 4, 2019, 11:59:54 PM	24.00 KiB
	Irrationality_J_Hancl.gz	Jun 4, 2019, 11:59:54 PM	4.00 KiB
	Isabelle_Meta_Model.db	Jun 4, 2019, 11:37:00 PM	32.00 KiB
	Isabelle_Meta_Model.gz	Jun 4, 2019, 11:36:59 PM	26.29 KiB
	Isar_Ref.db	Jun 5, 2019, 12:10:05 AM	20.00 KiB
	Isar_Ref.gz	Jun 5, 2019, 12:10:05 AM	7.11 KiB
	JEdit.db	Jun 5, 2019, 12:14:14 AM	20.00 KiB
	JEdit.gz	Jun 5, 2019, 12:14:14 AM	851 B
	Jinja.db	Jun 4, 2019, 11:01:01 PM	40.00 KiB
	Jinja.gz	Jun 4, 2019, 11:01:01 PM	37.81 KiB
	JiveDataStoreModel.db	Jun 5, 2019, 12:11:45 AM	20.00 KiB
	JiveDataStoreModel.gz	Jun 5, 2019, 12:11:45 AM	1.50 KiB
	JNF-AFP-Lib.db	Jun 4, 2019, 11:03:08 PM	32.00 KiB
	JNF-AFP-Lib.gz	Jun 4, 2019, 11:03:08 PM	21.67 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 5, 2019, 12:11:40 AM	20.00 KiB
	Jordan_Hoelder.gz	Jun 5, 2019, 12:11:40 AM	3.34 KiB
	Jordan_Normal_Form.db	Jun 4, 2019, 11:08:57 PM	44.00 KiB
	Jordan_Normal_Form.gz	Jun 4, 2019, 11:08:57 PM	6.33 KiB
	KAD.db	Jun 4, 2019, 11:35:21 PM	32.00 KiB
	KAD.gz	Jun 4, 2019, 11:35:21 PM	3.54 KiB
	KAT_and_DRA.db	Jun 4, 2019, 11:24:30 PM	24.00 KiB
	KAT_and_DRA.gz	Jun 4, 2019, 11:24:30 PM	2.70 KiB
	KBPs.db	Jun 4, 2019, 11:45:47 PM	72.00 KiB
	KBPs.gz	Jun 4, 2019, 11:45:47 PM	3.70 KiB
	KD_Tree.db	Jun 5, 2019, 3:20:18 AM	20.00 KiB
	KD_Tree.gz	Jun 5, 2019, 3:20:18 AM	582 B
	Key_Agreement_Strong_Adversaries.db	Jun 4, 2019, 11:30:29 PM	40.00 KiB
	Key_Agreement_Strong_Adversaries.gz	Jun 4, 2019, 11:30:29 PM	2.90 KiB
	Kleene_Algebra.db	Jun 4, 2019, 11:23:05 PM	24.00 KiB
	Kleene_Algebra.gz	Jun 4, 2019, 11:23:05 PM	3.30 KiB
	Knot_Theory.db	Jun 5, 2019, 12:03:25 AM	24.00 KiB
	Knot_Theory.gz	Jun 5, 2019, 12:03:25 AM	53.93 KiB
	Knuth_Morris_Pratt.db	Jun 5, 2019, 12:09:03 AM	20.00 KiB
	Knuth_Morris_Pratt.gz	Jun 5, 2019, 12:09:03 AM	1.34 KiB
	Koenigsberg_Friendship.db	Jun 5, 2019, 12:04:20 AM	24.00 KiB
	Koenigsberg_Friendship.gz	Jun 5, 2019, 12:04:20 AM	891 B
	Kruskal.db	Jun 5, 2019, 12:06:32 AM	24.00 KiB
	Kruskal.gz	Jun 5, 2019, 12:06:32 AM	2.88 KiB
	Kuratowski_Closure_Complement.db	Jun 5, 2019, 12:08:46 AM	20.00 KiB
	Kuratowski_Closure_Complement.gz	Jun 5, 2019, 12:08:46 AM	770 B
	Lambda_Free_EPO.db	Jun 5, 2019, 12:08:28 AM	20.00 KiB
	Lambda_Free_EPO.gz	Jun 5, 2019, 12:08:28 AM	1.38 KiB
	Lambda_Free_KBOs.db	Jun 4, 2019, 11:56:01 PM	28.00 KiB
	Lambda_Free_KBOs.gz	Jun 4, 2019, 11:56:01 PM	3.87 KiB
	Lambda_Free_RPOs.db	Jun 5, 2019, 12:11:43 AM	20.00 KiB
	Lambda_Free_RPOs.gz	Jun 5, 2019, 12:11:43 AM	1.41 KiB
	LambdaAuth.db	Jun 5, 2019, 12:00:23 AM	24.00 KiB
	LambdaAuth.gz	Jun 5, 2019, 12:00:23 AM	2.35 KiB
	LambdaMu.db	Jun 5, 2019, 12:12:33 AM	20.00 KiB
	LambdaMu.gz	Jun 5, 2019, 12:12:33 AM	818 B
	Lam-ml-Normalization.db	Jun 5, 2019, 12:11:55 AM	20.00 KiB
	Lam-ml-Normalization.gz	Jun 5, 2019, 12:11:55 AM	13.85 KiB
	Landau_Symbols.db	Jun 5, 2019, 12:12:07 AM	20.00 KiB
	Landau_Symbols.gz	Jun 5, 2019, 12:12:07 AM	1.47 KiB
	Latin_Square.db	Jun 5, 2019, 12:12:59 AM	20.00 KiB
	Latin_Square.gz	Jun 5, 2019, 12:12:59 AM	480 B
	LatticeProperties.db	Jun 5, 2019, 12:13:27 AM	20.00 KiB
	LatticeProperties.gz	Jun 5, 2019, 12:13:27 AM	1.26 KiB
	Launchbury.db	Jun 4, 2019, 11:52:58 PM	28.00 KiB
	Launchbury.gz	Jun 4, 2019, 11:52:58 PM	17.07 KiB
	Lazy_Case.db	Jun 5, 2019, 12:13:24 AM	20.00 KiB
	Lazy_Case.gz	Jun 5, 2019, 12:13:24 AM	519 B
	Lazy-Lists-II.db	Jun 5, 2019, 12:13:43 AM	20.00 KiB
	Lazy-Lists-II.gz	Jun 5, 2019, 12:13:43 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 5, 2019, 12:13:51 AM	20.00 KiB
	Lehmer.gz	Jun 5, 2019, 12:13:51 AM	191 B
	LEM.db	Jun 4, 2019, 11:02:03 PM	24.00 KiB
	LEM.gz	Jun 4, 2019, 11:02:03 PM	2.71 KiB
	Lifting_Definition_Option.db	Jun 5, 2019, 12:13:33 AM	32.00 KiB
	Lifting_Definition_Option.gz	Jun 5, 2019, 12:13:33 AM	249 B
	LightweightJava.db	Jun 5, 2019, 12:03:57 AM	24.00 KiB
	LightweightJava.gz	Jun 5, 2019, 12:03:57 AM	873 B
	Linear_Recurrences_Solver.db	Jun 4, 2019, 11:27:30 PM	40.00 KiB
	Linear_Recurrences_Solver.gz	Jun 4, 2019, 11:27:30 PM	8.19 KiB
	Linear_Recurrences.db	Jun 4, 2019, 11:56:25 PM	28.00 KiB
	Linear_Recurrences.gz	Jun 4, 2019, 11:56:25 PM	15.18 KiB
	LinearQuantifierElim.db	Jun 5, 2019, 12:03:35 AM	24.00 KiB
	LinearQuantifierElim.gz	Jun 5, 2019, 12:03:35 AM	1.48 KiB
	Liouville_Numbers.db	Jun 5, 2019, 12:13:46 AM	20.00 KiB
	Liouville_Numbers.gz	Jun 5, 2019, 12:13:46 AM	652 B
	List_Interleaving.db	Jun 5, 2019, 12:13:34 AM	20.00 KiB
	List_Interleaving.gz	Jun 5, 2019, 12:13:34 AM	279 B
	List_Inversions.db	Jun 5, 2019, 12:11:12 AM	20.00 KiB
	List_Inversions.gz	Jun 5, 2019, 12:11:12 AM	1.95 KiB
	List_Update.db	Jun 4, 2019, 11:54:27 PM	28.00 KiB
	List_Update.gz	Jun 4, 2019, 11:54:26 PM	3.65 KiB
	List-Index.db	Jun 5, 2019, 12:13:43 AM	20.00 KiB
	List-Index.gz	Jun 5, 2019, 12:13:42 AM	355 B
	List-Infinite.db	Jun 4, 2019, 11:53:42 PM	20.00 KiB
	List-Infinite.gz	Jun 4, 2019, 11:53:42 PM	2.76 KiB
	LLL_Basis_Reduction.db	Jun 4, 2019, 11:28:47 PM	36.00 KiB
	LLL_Basis_Reduction.gz	Jun 4, 2019, 11:28:47 PM	5.27 KiB
	LLL_Factorization.db	Jun 5, 2019, 12:00:29 AM	108.00 KiB
	LLL_Factorization.gz	Jun 5, 2019, 12:00:29 AM	1.69 KiB
	Locales.db	Jun 5, 2019, 12:13:48 AM	20.00 KiB
	Locales.gz	Jun 5, 2019, 12:13:48 AM	569 B
	Localization_Ring.db	Jun 5, 2019, 12:06:34 AM	24.00 KiB
	Localization_Ring.gz	Jun 5, 2019, 12:06:34 AM	484 B
	LocalLexing.db	Jun 5, 2019, 12:01:40 AM	24.00 KiB
	LocalLexing.gz	Jun 5, 2019, 12:01:40 AM	1.32 KiB
	Locally-Nameless-Sigma.db	Jun 5, 2019, 12:07:55 AM	24.00 KiB
	Locally-Nameless-Sigma.gz	Jun 5, 2019, 12:07:55 AM	19.89 KiB
	LOFT.db	Jun 4, 2019, 11:40:33 PM	32.00 KiB
	LOFT.gz	Jun 4, 2019, 11:40:33 PM	7.54 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	Jun 4, 2019, 10:47:15 PM	111 B
	Lorenz_Approximation.db	Jun 4, 2019, 11:34:48 PM	36.00 KiB
	Lorenz_Approximation.gz	Jun 4, 2019, 11:34:48 PM	23.03 KiB
	Lorenz_C0.db	Jun 5, 2019, 12:11:11 AM	148.00 KiB
	Lorenz_C0.gz	Jun 5, 2019, 12:11:10 AM	1.84 KiB
	Lorenz_C1.db	Jun 5, 2019, 12:13:52 AM	20.00 KiB
	Lorenz_C1.gz	Jun 5, 2019, 12:13:52 AM	135 B
	Lowe_Ontological_Argument.db	Jun 5, 2019, 12:10:50 AM	20.00 KiB
	Lowe_Ontological_Argument.gz	Jun 5, 2019, 12:10:50 AM	3.68 KiB
	Lower_Semicontinuous.db	Jun 5, 2019, 12:13:09 AM	20.00 KiB
	Lower_Semicontinuous.gz	Jun 5, 2019, 12:13:09 AM	367 B
	Lp.db	Jun 5, 2019, 12:07:07 AM	24.00 KiB
	Lp.gz	Jun 5, 2019, 12:07:07 AM	2.51 KiB
	LTL_Master_Theorem.db	Jun 5, 2019, 12:00:38 AM	40.00 KiB
	LTL_Master_Theorem.gz	Jun 5, 2019, 12:00:38 AM	2.17 KiB
	LTL_to_DRA.db	Jun 4, 2019, 11:52:27 PM	32.00 KiB
	LTL_to_DRA.gz	Jun 4, 2019, 11:52:27 PM	16.16 KiB
	LTL_to_GBA.db	Jun 4, 2019, 11:40:42 PM	32.00 KiB
	LTL_to_GBA.gz	Jun 4, 2019, 11:40:42 PM	7.89 KiB
	LTL.db	Jun 4, 2019, 11:42:26 PM	28.00 KiB
	LTL.gz	Jun 4, 2019, 11:42:26 PM	1.35 KiB
	Main.db	Jun 5, 2019, 12:13:48 AM	20.00 KiB
	Main.gz	Jun 5, 2019, 12:13:48 AM	170 B
	Markov_Models.db	Jun 4, 2019, 11:11:59 PM	32.00 KiB
	Markov_Models.gz	Jun 4, 2019, 11:11:59 PM	6.49 KiB
	Marriage.db	Jun 5, 2019, 12:13:44 AM	20.00 KiB
	Marriage.gz	Jun 5, 2019, 12:13:44 AM	310 B
	Mason_Stothers.db	Jun 5, 2019, 12:13:39 AM	20.00 KiB
	Mason_Stothers.gz	Jun 5, 2019, 12:13:39 AM	579 B
	Matrix_Tensor.db	Jun 4, 2019, 11:55:22 PM	20.00 KiB
	Matrix_Tensor.gz	Jun 4, 2019, 11:55:22 PM	48.46 KiB
	Matrix.db	Jun 4, 2019, 11:50:04 PM	24.00 KiB
	Matrix.gz	Jun 4, 2019, 11:50:04 PM	2.31 KiB
	Matroids.db	Jun 5, 2019, 12:13:03 AM	20.00 KiB
	Matroids.gz	Jun 5, 2019, 12:13:03 AM	326 B
	Max-Card-Matching.db	Jun 5, 2019, 12:13:44 AM	20.00 KiB
	Max-Card-Matching.gz	Jun 5, 2019, 12:13:44 AM	200 B
	Median_Of_Medians_Selection.db	Jun 5, 2019, 3:20:05 AM	20.00 KiB
	Median_Of_Medians_Selection.gz	Jun 5, 2019, 3:20:05 AM	1.75 KiB
	Menger.db	Jun 5, 2019, 12:12:42 AM	20.00 KiB
	Menger.gz	Jun 5, 2019, 12:12:42 AM	884 B
	MFMC_Countable.db	Jun 4, 2019, 11:58:50 PM	28.00 KiB
	MFMC_Countable.gz	Jun 4, 2019, 11:58:50 PM	4.37 KiB
	Minimal_SSA.db	Jun 5, 2019, 12:12:52 AM	20.00 KiB
	Minimal_SSA.gz	Jun 5, 2019, 12:12:52 AM	821 B
	MiniML.db	Jun 5, 2019, 12:12:09 AM	20.00 KiB
	MiniML.gz	Jun 5, 2019, 12:12:09 AM	1.29 KiB
	Minkowskis_Theorem.db	Jun 5, 2019, 12:13:48 AM	20.00 KiB
	Minkowskis_Theorem.gz	Jun 5, 2019, 12:13:48 AM	415 B
	Minsky_Machines.db	Jun 5, 2019, 12:10:40 AM	20.00 KiB
	Minsky_Machines.gz	Jun 5, 2019, 12:10:40 AM	1.51 KiB
	Modal_Logics_for_NTS.db	Jun 4, 2019, 11:48:12 PM	36.00 KiB
	Modal_Logics_for_NTS.gz	Jun 4, 2019, 11:48:12 PM	3.33 KiB
	Modular_Assembly_Kit_Security.db	Jun 5, 2019, 12:08:11 AM	24.00 KiB
	Modular_Assembly_Kit_Security.gz	Jun 5, 2019, 12:08:11 AM	3.10 KiB
	Monad_Memo_DP.db	Jun 4, 2019, 11:42:05 PM	36.00 KiB
	Monad_Memo_DP.gz	Jun 4, 2019, 11:42:05 PM	102.71 KiB
	Monad_Normalisation.db	Jun 5, 2019, 12:13:54 AM	20.00 KiB
	Monad_Normalisation.gz	Jun 5, 2019, 12:13:54 AM	494 B
	MonoBoolTranAlgebra.db	Jun 5, 2019, 12:12:22 AM	20.00 KiB
	MonoBoolTranAlgebra.gz	Jun 5, 2019, 12:12:22 AM	1.91 KiB
	MonoidalCategory.db	Jun 4, 2019, 11:18:02 PM	48.00 KiB
	MonoidalCategory.gz	Jun 4, 2019, 11:18:02 PM	1.33 KiB
	Monomorphic_Monad.db	Jun 5, 2019, 12:05:24 AM	24.00 KiB
	Monomorphic_Monad.gz	Jun 5, 2019, 12:05:24 AM	3.52 KiB
	MSO_Regex_Equivalence.db	Jun 4, 2019, 11:00:42 PM	64.00 KiB
	MSO_Regex_Equivalence.gz	Jun 4, 2019, 11:00:42 PM	6.43 KiB
	MuchAdoAboutTwo.db	Jun 5, 2019, 12:13:09 AM	20.00 KiB
	MuchAdoAboutTwo.gz	Jun 5, 2019, 12:13:09 AM	437 B
	Multi_Party_Computation.db	Jun 4, 2019, 11:41:36 PM	36.00 KiB
	Multi_Party_Computation.gz	Jun 4, 2019, 11:41:36 PM	4.75 KiB
	Multirelations.db	Jun 4, 2019, 11:52:06 PM	28.00 KiB
	Multirelations.gz	Jun 4, 2019, 11:52:06 PM	4.13 KiB
	Myhill-Nerode.db	Jun 5, 2019, 12:06:56 AM	24.00 KiB
	Myhill-Nerode.gz	Jun 5, 2019, 12:06:56 AM	3.68 KiB
	Name_Carrying_Type_Inference.db	Jun 5, 2019, 12:10:45 AM	28.00 KiB
	Name_Carrying_Type_Inference.gz	Jun 5, 2019, 12:10:45 AM	810 B
	Nat-Interval-Logic.db	Jun 4, 2019, 11:58:02 PM	24.00 KiB
	Nat-Interval-Logic.gz	Jun 4, 2019, 11:58:02 PM	989 B
	Native_Word.db	Jun 4, 2019, 11:01:47 PM	64.00 KiB
	Native_Word.gz	Jun 4, 2019, 11:01:46 PM	62.62 KiB
	Nested_Multisets_Ordinals.db	Jun 4, 2019, 11:45:24 PM	24.00 KiB
	Nested_Multisets_Ordinals.gz	Jun 4, 2019, 11:45:23 PM	5.71 KiB
	Network_Security_Policy_Verification.db	Jun 4, 2019, 10:56:53 PM	76.00 KiB
	Network_Security_Policy_Verification.gz	Jun 4, 2019, 10:56:53 PM	30.47 KiB
	Neumann_Morgenstern_Utility.db	Jun 5, 2019, 12:11:34 AM	20.00 KiB
	Neumann_Morgenstern_Utility.gz	Jun 5, 2019, 12:11:34 AM	637 B
	Nitpick.db	Jun 4, 2019, 10:47:16 PM	20.00 KiB
	Nitpick.gz	Jun 4, 2019, 10:47:16 PM	111 B
	No_FTL_observers.db	Jun 4, 2019, 11:31:05 PM	32.00 KiB
	No_FTL_observers.gz	Jun 4, 2019, 11:31:05 PM	7.04 KiB
	Nominal2.db	Jun 4, 2019, 11:41:30 PM	24.00 KiB
	Nominal2.gz	Jun 4, 2019, 11:41:30 PM	16.50 KiB
	Noninterference_Concurrent_Composition.db	Jun 5, 2019, 12:12:21 AM	20.00 KiB
	Noninterference_Concurrent_Composition.gz	Jun 5, 2019, 12:12:21 AM	349 B
	Noninterference_CSP.db	Jun 5, 2019, 12:06:44 AM	20.00 KiB
	Noninterference_CSP.gz	Jun 5, 2019, 12:06:44 AM	576 B
	Noninterference_Generic_Unwinding.db	Jun 5, 2019, 12:09:35 AM	20.00 KiB
	Noninterference_Generic_Unwinding.gz	Jun 5, 2019, 12:09:35 AM	309 B
	Noninterference_Inductive_Unwinding.db	Jun 5, 2019, 12:12:50 AM	20.00 KiB
	Noninterference_Inductive_Unwinding.gz	Jun 5, 2019, 12:12:50 AM	686 B
	Noninterference_Ipurge_Unwinding.db	Jun 5, 2019, 12:07:57 AM	20.00 KiB
	Noninterference_Ipurge_Unwinding.gz	Jun 5, 2019, 12:07:57 AM	517 B
	Noninterference_Sequential_Composition.db	Jun 5, 2019, 12:08:38 AM	20.00 KiB
	Noninterference_Sequential_Composition.gz	Jun 5, 2019, 12:08:38 AM	785 B
	NormByEval.db	Jun 5, 2019, 12:07:48 AM	20.00 KiB
	NormByEval.gz	Jun 5, 2019, 12:07:48 AM	813 B
	Octonions.db	Jun 5, 2019, 12:09:18 AM	20.00 KiB
	Octonions.gz	Jun 5, 2019, 12:09:18 AM	1.23 KiB
	Old_Datatype_Show.db	Jun 5, 2019, 12:11:27 AM	20.00 KiB
	Old_Datatype_Show.gz	Jun 5, 2019, 12:11:27 AM	905 B
	Open_Induction.db	Jun 5, 2019, 12:13:43 AM	20.00 KiB
	Open_Induction.gz	Jun 5, 2019, 12:13:43 AM	453 B
	OpSets.db	Jun 5, 2019, 12:09:38 AM	20.00 KiB
	OpSets.gz	Jun 5, 2019, 12:09:38 AM	616 B
	Optics.db	Jun 5, 2019, 12:10:02 AM	20.00 KiB
	Optics.gz	Jun 5, 2019, 12:10:02 AM	1.77 KiB
	Optimal_BST.db	Jun 5, 2019, 12:11:24 AM	20.00 KiB
	Optimal_BST.gz	Jun 5, 2019, 12:11:24 AM	1.39 KiB
	Orbit_Stabiliser.db	Jun 5, 2019, 12:12:06 AM	20.00 KiB
	Orbit_Stabiliser.gz	Jun 5, 2019, 12:12:06 AM	589 B
	Order_Lattice_Props.db	Jun 4, 2019, 11:44:50 PM	24.00 KiB
	Order_Lattice_Props.gz	Jun 4, 2019, 11:44:50 PM	5.63 KiB
	Ordered_Resolution_Prover.db	Jun 5, 2019, 12:04:26 AM	24.00 KiB
	Ordered_Resolution_Prover.gz	Jun 5, 2019, 12:04:26 AM	3.78 KiB
	Ordinal.db	Jun 4, 2019, 11:43:42 PM	20.00 KiB
	Ordinal.gz	Jun 4, 2019, 11:43:42 PM	1.33 KiB
	Ordinals_and_Cardinals.db	Jun 5, 2019, 12:13:58 AM	20.00 KiB
	Ordinals_and_Cardinals.gz	Jun 5, 2019, 12:13:58 AM	220 B
	Ordinary_Differential_Equations.db	Jun 4, 2019, 11:07:28 PM	36.00 KiB
	Ordinary_Differential_Equations.gz	Jun 4, 2019, 11:07:28 PM	11.89 KiB
	Pairing_Heap.db	Jun 5, 2019, 12:13:30 AM	20.00 KiB
	Pairing_Heap.gz	Jun 5, 2019, 12:13:30 AM	731 B
	Paraconsistency.db	Jun 4, 2019, 11:49:15 PM	24.00 KiB
	Paraconsistency.gz	Jun 4, 2019, 11:49:15 PM	267 B
	Parity_Game.db	Jun 5, 2019, 12:00:30 AM	28.00 KiB
	Parity_Game.gz	Jun 5, 2019, 12:00:30 AM	8.28 KiB
	Partial_Function_MR.db	Jun 5, 2019, 12:12:52 AM	20.00 KiB
	Partial_Function_MR.gz	Jun 5, 2019, 12:12:52 AM	689 B
	Partial_Order_Reduction.db	Jun 5, 2019, 12:03:37 AM	24.00 KiB
	Partial_Order_Reduction.gz	Jun 5, 2019, 12:03:37 AM	10.89 KiB
	Password_Authentication_Protocol.db	Jun 4, 2019, 11:53:47 PM	24.00 KiB
	Password_Authentication_Protocol.gz	Jun 4, 2019, 11:53:47 PM	562 B
	PCF.db	Jun 5, 2019, 12:05:02 AM	24.00 KiB
	PCF.gz	Jun 5, 2019, 12:05:02 AM	2.59 KiB
	Pell.db	Jun 5, 2019, 12:11:06 AM	20.00 KiB
	Pell.gz	Jun 5, 2019, 12:11:06 AM	36.44 KiB
	Perfect-Number-Thm.db	Jun 5, 2019, 12:13:48 AM	20.00 KiB
	Perfect-Number-Thm.gz	Jun 5, 2019, 12:13:48 AM	278 B
	Perron_Frobenius.db	Jun 4, 2019, 11:30:27 PM	48.00 KiB
	Perron_Frobenius.gz	Jun 4, 2019, 11:30:27 PM	14.85 KiB
	pGCL.db	Jun 5, 2019, 12:08:26 AM	24.00 KiB
	pGCL.gz	Jun 5, 2019, 12:08:26 AM	7.91 KiB
	Pi_Calculus.db	Jun 5, 2019, 12:02:57 AM	24.00 KiB
	Pi_Calculus.gz	Jun 5, 2019, 12:02:57 AM	161.90 KiB
	Pi_Transcendental.db	Jun 4, 2019, 11:54:45 PM	28.00 KiB
	Pi_Transcendental.gz	Jun 4, 2019, 11:54:45 PM	15.67 KiB
	Planarity_Certificates.db	Jun 4, 2019, 11:47:15 PM	36.00 KiB
	Planarity_Certificates.gz	Jun 4, 2019, 11:47:15 PM	9.55 KiB
	PLM.db	Jun 5, 2019, 12:07:38 AM	24.00 KiB
	PLM.gz	Jun 5, 2019, 12:07:38 AM	3.92 KiB
	Polynomial_Factorization.db	Jun 5, 2019, 12:02:41 AM	24.00 KiB
	Polynomial_Factorization.gz	Jun 5, 2019, 12:02:41 AM	3.39 KiB
	Polynomial_Interpolation.db	Jun 5, 2019, 12:10:05 AM	20.00 KiB
	Polynomial_Interpolation.gz	Jun 5, 2019, 12:10:05 AM	2.76 KiB
	Polynomials.db	Jun 4, 2019, 11:45:36 PM	32.00 KiB
	Polynomials.gz	Jun 4, 2019, 11:45:36 PM	11.87 KiB
	Pop_Refinement.db	Jun 5, 2019, 12:12:46 AM	20.00 KiB
	Pop_Refinement.gz	Jun 5, 2019, 12:12:46 AM	588 B
	POPLmark-deBruijn.db	Jun 5, 2019, 12:09:39 AM	20.00 KiB
	POPLmark-deBruijn.gz	Jun 5, 2019, 12:09:39 AM	3.62 KiB
	Posix-Lexing.db	Jun 5, 2019, 12:10:21 AM	20.00 KiB
	Posix-Lexing.gz	Jun 5, 2019, 12:10:21 AM	530 B
	Possibilistic_Noninterference.db	Jun 5, 2019, 12:06:24 AM	24.00 KiB
	Possibilistic_Noninterference.gz	Jun 5, 2019, 12:06:24 AM	3.66 KiB
	Pratt_Certificate.db	Jun 5, 2019, 12:11:28 AM	20.00 KiB
	Pratt_Certificate.gz	Jun 5, 2019, 12:11:28 AM	860 B
	Pre_BZ.db	Jun 4, 2019, 11:13:04 PM	32.00 KiB
	Pre_BZ.gz	Jun 4, 2019, 11:13:04 PM	9.03 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 5, 2019, 12:07:28 AM	24.00 KiB
	Presburger-Automata.gz	Jun 5, 2019, 12:07:28 AM	1.26 KiB
	Prime_Distribution_Elementary.db	Jun 5, 2019, 12:05:09 AM	24.00 KiB
	Prime_Distribution_Elementary.gz	Jun 5, 2019, 12:05:09 AM	2.29 KiB
	Prime_Harmonic_Series.db	Jun 4, 2019, 11:56:01 PM	28.00 KiB
	Prime_Harmonic_Series.gz	Jun 4, 2019, 11:56:01 PM	4.53 KiB
	Prime_Number_Theorem.db	Jun 5, 2019, 12:06:34 AM	24.00 KiB
	Prime_Number_Theorem.gz	Jun 5, 2019, 12:06:34 AM	1.53 KiB
	Priority_Queue_Braun.db	Jun 5, 2019, 12:09:39 AM	20.00 KiB
	Priority_Queue_Braun.gz	Jun 5, 2019, 12:09:39 AM	773 B
	Probabilistic_Noninterference.db	Jun 4, 2019, 11:57:29 PM	28.00 KiB
	Probabilistic_Noninterference.gz	Jun 4, 2019, 11:57:29 PM	4.64 KiB
	Probabilistic_Prime_Tests.db	Jun 4, 2019, 11:34:27 PM	52.00 KiB
	Probabilistic_Prime_Tests.gz	Jun 4, 2019, 11:34:27 PM	8.97 KiB
	Probabilistic_System_Zoo.db	Jun 5, 2019, 12:04:19 AM	24.00 KiB
	Probabilistic_System_Zoo.gz	Jun 5, 2019, 12:04:19 AM	2.16 KiB
	Probabilistic_System_Zoo-BNFs.db	Jun 5, 2019, 12:11:00 AM	20.00 KiB
	Probabilistic_System_Zoo-BNFs.gz	Jun 5, 2019, 12:11:00 AM	926 B
	Probabilistic_System_Zoo-Non_BNFs.db	Jun 5, 2019, 12:05:45 AM	24.00 KiB
	Probabilistic_System_Zoo-Non_BNFs.gz	Jun 5, 2019, 12:05:45 AM	2.28 KiB
	Probabilistic_Timed_Automata.db	Jun 4, 2019, 11:36:01 PM	40.00 KiB
	Probabilistic_Timed_Automata.gz	Jun 4, 2019, 11:36:01 PM	6.61 KiB
	Probabilistic_While.db	Jun 4, 2019, 11:18:23 PM	24.00 KiB
	Probabilistic_While.gz	Jun 4, 2019, 11:18:23 PM	2.26 KiB
	Prog_Prove.db	Jun 5, 2019, 12:13:12 AM	20.00 KiB
	Prog_Prove.gz	Jun 5, 2019, 12:13:12 AM	672 B
	Program-Conflict-Analysis.db	Jun 5, 2019, 12:09:12 AM	20.00 KiB
	Program-Conflict-Analysis.gz	Jun 5, 2019, 12:09:12 AM	1.25 KiB
	Projective_Geometry.db	Jun 5, 2019, 12:08:27 AM	24.00 KiB
	Projective_Geometry.gz	Jun 5, 2019, 12:08:27 AM	454 B
	Promela.db	Jun 4, 2019, 11:33:59 PM	32.00 KiB
	Promela.gz	Jun 4, 2019, 11:33:59 PM	11.28 KiB
	Proof_Strategy_Language.db	Jun 4, 2019, 11:26:46 PM	28.00 KiB
	Proof_Strategy_Language.gz	Jun 4, 2019, 11:26:46 PM	5.69 KiB
	Propositional_Proof_Systems.db	Jun 4, 2019, 11:56:31 PM	28.00 KiB
	Propositional_Proof_Systems.gz	Jun 4, 2019, 11:56:31 PM	50.54 KiB
	PropResPI.db	Jun 5, 2019, 12:10:37 AM	20.00 KiB
	PropResPI.gz	Jun 5, 2019, 12:10:37 AM	376 B
	Prpu_Maxflow.db	Jun 4, 2019, 11:38:04 PM	32.00 KiB
	Prpu_Maxflow.gz	Jun 4, 2019, 11:38:03 PM	43.96 KiB
	PSemigroupsConvolution.db	Jun 5, 2019, 12:09:05 AM	20.00 KiB
	PSemigroupsConvolution.gz	Jun 5, 2019, 12:09:05 AM	2.06 KiB
	PseudoHoops.db	Jun 4, 2019, 11:53:10 PM	28.00 KiB
	PseudoHoops.gz	Jun 4, 2019, 11:53:10 PM	4.18 KiB
	Psi_Calculi.db	Jun 4, 2019, 11:17:23 PM	56.00 KiB
	Psi_Calculi.gz	Jun 4, 2019, 11:17:22 PM	225.22 KiB
	Ptolemys_Theorem.db	Jun 5, 2019, 12:13:50 AM	20.00 KiB
	Ptolemys_Theorem.gz	Jun 5, 2019, 12:13:50 AM	199 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 5, 2019, 12:00:33 AM	28.00 KiB
	QHLProver.gz	Jun 5, 2019, 12:00:33 AM	3.53 KiB
	QR_Decomposition.db	Jun 4, 2019, 11:36:55 PM	92.00 KiB
	QR_Decomposition.gz	Jun 4, 2019, 11:36:55 PM	8.78 KiB
	Quantales.db	Jun 4, 2019, 11:53:46 PM	28.00 KiB
	Quantales.gz	Jun 4, 2019, 11:53:46 PM	3.25 KiB
	Quaternions.db	Jun 5, 2019, 12:08:10 AM	20.00 KiB
	Quaternions.gz	Jun 5, 2019, 12:08:10 AM	639 B
	Quick_Sort_Cost.db	Jun 5, 2019, 12:05:51 AM	20.00 KiB
	Quick_Sort_Cost.gz	Jun 5, 2019, 12:05:51 AM	2.52 KiB
	Ramsey-Infinite.db	Jun 5, 2019, 12:13:00 AM	20.00 KiB
	Ramsey-Infinite.gz	Jun 5, 2019, 12:13:00 AM	362 B
	Random_BSTs.db	Jun 5, 2019, 12:10:21 AM	20.00 KiB
	Random_BSTs.gz	Jun 5, 2019, 12:10:21 AM	887 B
	Random_Graph_Subgraph_Threshold.db	Jun 5, 2019, 12:12:35 AM	20.00 KiB
	Random_Graph_Subgraph_Threshold.gz	Jun 5, 2019, 12:12:35 AM	3.76 KiB
	Randomised_BSTs.db	Jun 5, 2019, 12:12:13 AM	20.00 KiB
	Randomised_BSTs.gz	Jun 5, 2019, 12:12:13 AM	845 B
	Randomised_Social_Choice.db	Jun 5, 2019, 12:02:15 AM	20.00 KiB
	Randomised_Social_Choice.gz	Jun 5, 2019, 12:02:15 AM	3.99 KiB
	Rank_Nullity_Theorem.db	Jun 5, 2019, 12:12:23 AM	20.00 KiB
	Rank_Nullity_Theorem.gz	Jun 5, 2019, 12:12:23 AM	1.23 KiB
	Real_Impl.db	Jun 4, 2019, 11:59:31 PM	24.00 KiB
	Real_Impl.gz	Jun 4, 2019, 11:59:31 PM	4.18 KiB
	Recursion-Theory-I.db	Jun 5, 2019, 12:11:56 AM	20.00 KiB
	Recursion-Theory-I.gz	Jun 5, 2019, 12:11:56 AM	1.33 KiB
	Refine_Imperative_HOL.db	Jun 4, 2019, 11:26:28 PM	104.00 KiB
	Refine_Imperative_HOL.gz	Jun 4, 2019, 11:26:28 PM	83.11 KiB
	Refine_Monadic.db	Jun 4, 2019, 10:53:50 PM	28.00 KiB
	Refine_Monadic.gz	Jun 4, 2019, 10:53:50 PM	10.34 KiB
	RefinementReactive.db	Jun 5, 2019, 12:12:17 AM	20.00 KiB
	RefinementReactive.gz	Jun 5, 2019, 12:12:17 AM	892 B
	Regex_Equivalence.db	Jun 5, 2019, 12:00:56 AM	28.00 KiB
	Regex_Equivalence.gz	Jun 5, 2019, 12:00:56 AM	6.77 KiB
	Regular_Algebras.db	Jun 4, 2019, 11:54:30 PM	28.00 KiB
	Regular_Algebras.gz	Jun 4, 2019, 11:54:30 PM	4.27 KiB
	Regular-Sets.db	Jun 5, 2019, 12:00:41 AM	24.00 KiB
	Regular-Sets.gz	Jun 5, 2019, 12:00:41 AM	1.50 KiB
	Relation_Algebra.db	Jun 5, 2019, 12:03:03 AM	20.00 KiB
	Relation_Algebra.gz	Jun 5, 2019, 12:03:03 AM	3.11 KiB
	Rep_Fin_Groups.db	Jun 4, 2019, 11:51:40 PM	28.00 KiB
	Rep_Fin_Groups.gz	Jun 4, 2019, 11:51:40 PM	1.50 KiB
	Residuated_Lattices.db	Jun 5, 2019, 12:07:00 AM	24.00 KiB
	Residuated_Lattices.gz	Jun 5, 2019, 12:07:00 AM	1.67 KiB
	Resolution_FOL.db	Jun 4, 2019, 11:53:39 PM	28.00 KiB
	Resolution_FOL.gz	Jun 4, 2019, 11:53:39 PM	5.77 KiB
	Rewriting_Z.db	Jun 5, 2019, 12:07:38 AM	24.00 KiB
	Rewriting_Z.gz	Jun 5, 2019, 12:07:38 AM	2.18 KiB
	Ribbon_Proofs.db	Jun 5, 2019, 12:10:16 AM	20.00 KiB
	Ribbon_Proofs.gz	Jun 5, 2019, 12:10:16 AM	1.51 KiB
	RIPEMD-160-SPARK.db	Jun 5, 2019, 12:13:45 AM	20.00 KiB
	RIPEMD-160-SPARK.gz	Jun 5, 2019, 12:13:45 AM	212 B
	Robbins-Conjecture.db	Jun 5, 2019, 12:11:59 AM	20.00 KiB
	Robbins-Conjecture.gz	Jun 5, 2019, 12:11:59 AM	1.24 KiB
	ROBDD.db	Jun 5, 2019, 12:07:24 AM	24.00 KiB
	ROBDD.gz	Jun 5, 2019, 12:07:24 AM	5.26 KiB
	Root_Balanced_Tree.db	Jun 4, 2019, 11:57:39 PM	24.00 KiB
	Root_Balanced_Tree.gz	Jun 4, 2019, 11:57:39 PM	3.27 KiB
	Routing.db	Jun 4, 2019, 10:59:53 PM	20.00 KiB
	Routing.gz	Jun 4, 2019, 10:59:53 PM	1.11 KiB
	Roy_Floyd_Warshall.db	Jun 5, 2019, 12:13:57 AM	20.00 KiB
	Roy_Floyd_Warshall.gz	Jun 5, 2019, 12:13:57 AM	352 B
	RSAPSS.db	Jun 5, 2019, 12:09:55 AM	20.00 KiB
	RSAPSS.gz	Jun 5, 2019, 12:09:55 AM	1.84 KiB
	Safe_OCL.db	Jun 4, 2019, 11:38:40 PM	28.00 KiB
	Safe_OCL.gz	Jun 4, 2019, 11:38:40 PM	2.40 KiB
	SATSolverVerification.db	Jun 5, 2019, 12:01:31 AM	28.00 KiB
	SATSolverVerification.gz	Jun 5, 2019, 12:01:31 AM	1.38 KiB
	SDS_Impossibility.db	Jun 5, 2019, 12:04:41 AM	24.00 KiB
	SDS_Impossibility.gz	Jun 5, 2019, 12:04:41 AM	472 B
	Secondary_Sylow.db	Jun 5, 2019, 12:13:21 AM	20.00 KiB
	Secondary_Sylow.gz	Jun 5, 2019, 12:13:21 AM	2.42 KiB
	Security_Protocol_Refinement.db	Jun 4, 2019, 10:57:10 PM	48.00 KiB
	Security_Protocol_Refinement.gz	Jun 4, 2019, 10:57:10 PM	1.75 KiB
	Selection_Heap_Sort.db	Jun 5, 2019, 12:12:27 AM	20.00 KiB
	Selection_Heap_Sort.gz	Jun 5, 2019, 12:12:27 AM	1.15 KiB
	SenSocialChoice.db	Jun 5, 2019, 12:09:18 AM	20.00 KiB
	SenSocialChoice.gz	Jun 5, 2019, 12:09:18 AM	467 B
	Separata.db	Jun 5, 2019, 12:12:21 AM	20.00 KiB
	Separata.gz	Jun 5, 2019, 12:12:21 AM	1.64 KiB
	Separation_Algebra.db	Jun 5, 2019, 12:11:08 AM	20.00 KiB
	Separation_Algebra.gz	Jun 5, 2019, 12:11:08 AM	3.09 KiB
	Separation_Logic_Imperative_HOL.db	Jun 4, 2019, 11:51:00 PM	28.00 KiB
	Separation_Logic_Imperative_HOL.gz	Jun 4, 2019, 11:51:00 PM	14.41 KiB
	Sepref_Basic.db	Jun 4, 2019, 11:04:44 PM	24.00 KiB
	Sepref_Basic.gz	Jun 4, 2019, 11:04:44 PM	6.92 KiB
	Sepref_IICF.db	Jun 4, 2019, 11:13:55 PM	24.00 KiB
	Sepref_IICF.gz	Jun 4, 2019, 11:13:55 PM	19.17 KiB
	Sepref_Prereq.db	Jun 4, 2019, 11:02:41 PM	24.00 KiB
	Sepref_Prereq.gz	Jun 4, 2019, 11:02:41 PM	9.46 KiB
	SequentInvertibility.db	Jun 5, 2019, 12:04:57 AM	24.00 KiB
	SequentInvertibility.gz	Jun 5, 2019, 12:04:57 AM	39.34 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 5, 2019, 12:08:06 AM	20.00 KiB
	Shivers-CFA.gz	Jun 5, 2019, 12:08:06 AM	11.05 KiB
	ShortestPath.db	Jun 5, 2019, 12:13:03 AM	20.00 KiB
	ShortestPath.gz	Jun 5, 2019, 12:13:03 AM	775 B
	Show.db	Jun 5, 2019, 12:08:54 AM	20.00 KiB
	Show.gz	Jun 5, 2019, 12:08:54 AM	2.10 KiB
	SIFPL.db	Jun 5, 2019, 12:05:21 AM	24.00 KiB
	SIFPL.gz	Jun 5, 2019, 12:05:21 AM	12.67 KiB
	SIFUM_Type_Systems.db	Jun 5, 2019, 12:02:25 AM	24.00 KiB
	SIFUM_Type_Systems.gz	Jun 5, 2019, 12:02:25 AM	7.50 KiB
	Signature_Groebner.db	Jun 4, 2019, 11:55:03 PM	24.00 KiB
	Signature_Groebner.gz	Jun 4, 2019, 11:55:03 PM	2.34 KiB
	Simpl.db	Jun 4, 2019, 11:30:34 PM	28.00 KiB
	Simpl.gz	Jun 4, 2019, 11:30:34 PM	28.49 KiB
	Simple_Firewall.db	Jun 4, 2019, 10:59:25 PM	24.00 KiB
	Simple_Firewall.gz	Jun 4, 2019, 10:59:24 PM	1.42 KiB
	Simplex.db	Jun 4, 2019, 11:43:27 PM	28.00 KiB
	Simplex.gz	Jun 4, 2019, 11:43:27 PM	7.99 KiB
	Skew_Heap.db	Jun 5, 2019, 12:13:48 AM	20.00 KiB
	Skew_Heap.gz	Jun 5, 2019, 12:13:48 AM	510 B
	Sledgehammer.db	Jun 4, 2019, 10:47:17 PM	20.00 KiB
	Sledgehammer.gz	Jun 4, 2019, 10:47:17 PM	115 B
	Slicing.db	Jun 4, 2019, 11:19:33 PM	48.00 KiB
	Slicing.gz	Jun 4, 2019, 11:19:33 PM	71.22 KiB
	SM_Base.db	Jun 4, 2019, 11:20:21 PM	36.00 KiB
	SM_Base.gz	Jun 4, 2019, 11:20:21 PM	19.80 KiB
	SM.db	Jun 4, 2019, 11:39:36 PM	32.00 KiB
	SM.gz	Jun 4, 2019, 11:39:36 PM	13.56 KiB
	SML.db	Jun 4, 2019, 10:47:13 PM	20.00 KiB
	SML.gz	Jun 4, 2019, 10:47:13 PM	1.57 KiB
	Smooth_Manifolds.db	Jun 5, 2019, 12:04:45 AM	24.00 KiB
	Smooth_Manifolds.gz	Jun 5, 2019, 12:04:45 AM	14.75 KiB
	Sort_Encodings.db	Jun 5, 2019, 12:01:44 AM	24.00 KiB
	Sort_Encodings.gz	Jun 5, 2019, 12:01:44 AM	3.95 KiB
	Source_Coding_Theorem.db	Jun 5, 2019, 12:13:17 AM	20.00 KiB
	Source_Coding_Theorem.gz	Jun 5, 2019, 12:13:17 AM	333 B
	SPARCv8.db	Jun 4, 2019, 11:32:25 PM	36.00 KiB
	SPARCv8.gz	Jun 4, 2019, 11:32:25 PM	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 5, 2019, 12:07:06 AM	20.00 KiB
	Special_Function_Bounds.gz	Jun 5, 2019, 12:07:06 AM	468 B
	Splay_Tree.db	Jun 4, 2019, 11:54:59 PM	24.00 KiB
	Splay_Tree.gz	Jun 4, 2019, 11:54:59 PM	2.76 KiB
	Sqrt_Babylonian.db	Jun 4, 2019, 11:55:48 PM	20.00 KiB
	Sqrt_Babylonian.gz	Jun 4, 2019, 11:55:48 PM	653 B
	Stable_Matching.db	Jun 4, 2019, 11:47:14 PM	28.00 KiB
	Stable_Matching.gz	Jun 4, 2019, 11:47:14 PM	1.76 KiB
	Statecharts.db	Jun 5, 2019, 12:02:38 AM	24.00 KiB
	Statecharts.gz	Jun 5, 2019, 12:02:38 AM	1.33 KiB
	Stern_Brocot.db	Jun 5, 2019, 12:03:53 AM	24.00 KiB
	Stern_Brocot.gz	Jun 5, 2019, 12:03:53 AM	3.92 KiB
	Stewart_Apollonius.db	Jun 5, 2019, 12:13:16 AM	20.00 KiB
	Stewart_Apollonius.gz	Jun 5, 2019, 12:13:15 AM	352 B
	Stirling_Formula.db	Jun 5, 2019, 12:06:49 AM	20.00 KiB
	Stirling_Formula.gz	Jun 5, 2019, 12:06:49 AM	2.97 KiB
	Stochastic_Matrices.db	Jun 4, 2019, 11:22:45 PM	48.00 KiB
	Stochastic_Matrices.gz	Jun 4, 2019, 11:22:45 PM	12.88 KiB
	Stone_Algebras.db	Jun 4, 2019, 11:22:04 PM	24.00 KiB
	Stone_Algebras.gz	Jun 4, 2019, 11:22:04 PM	2.41 KiB
	Stone_Kleene_Relation_Algebras.db	Jun 4, 2019, 11:36:44 PM	28.00 KiB
	Stone_Kleene_Relation_Algebras.gz	Jun 4, 2019, 11:36:44 PM	1.37 KiB
	Stone_Relation_Algebras.db	Jun 4, 2019, 11:28:22 PM	24.00 KiB
	Stone_Relation_Algebras.gz	Jun 4, 2019, 11:28:22 PM	1.92 KiB
	Store_Buffer_Reduction.db	Jun 4, 2019, 11:44:18 PM	36.00 KiB
	Store_Buffer_Reduction.gz	Jun 4, 2019, 11:44:18 PM	8.19 KiB
	Stream_Fusion_Code.db	Jun 5, 2019, 12:10:57 AM	20.00 KiB
	Stream_Fusion_Code.gz	Jun 5, 2019, 12:10:57 AM	3.29 KiB
	Stream-Fusion.db	Jun 5, 2019, 12:11:54 AM	20.00 KiB
	Stream-Fusion.gz	Jun 5, 2019, 12:11:54 AM	623 B
	Strong_Security.db	Jun 5, 2019, 12:12:00 AM	20.00 KiB
	Strong_Security.gz	Jun 5, 2019, 12:12:00 AM	17.98 KiB
	Sturm_Sequences.db	Jun 4, 2019, 11:59:23 PM	24.00 KiB
	Sturm_Sequences.gz	Jun 4, 2019, 11:59:23 PM	838 B
	Sturm_Tarski.db	Jun 5, 2019, 12:10:32 AM	20.00 KiB
	Sturm_Tarski.gz	Jun 5, 2019, 12:10:32 AM	285 B
	Stuttering_Equivalence.db	Jun 5, 2019, 12:13:31 AM	20.00 KiB
	Stuttering_Equivalence.gz	Jun 5, 2019, 12:13:31 AM	2.15 KiB
	Subresultants.db	Jun 4, 2019, 11:10:45 PM	24.00 KiB
	Subresultants.gz	Jun 4, 2019, 11:10:45 PM	1.54 KiB
	Sugar.db	Jun 5, 2019, 12:13:53 AM	20.00 KiB
	Sugar.gz	Jun 5, 2019, 12:13:53 AM	311 B
	SumSquares.db	Jun 5, 2019, 12:12:58 AM	20.00 KiB
	SumSquares.gz	Jun 5, 2019, 12:12:58 AM	338 B
	SuperCalc.db	Jun 5, 2019, 12:06:25 AM	24.00 KiB
	SuperCalc.gz	Jun 5, 2019, 12:06:25 AM	808 B
	Surprise_Paradox	Jun 7, 2019, 12:07:49 AM	961 B
	Surprise_Paradox.db	Jun 7, 2019, 12:07:49 AM	20.00 KiB
	Symmetric_Polynomials.db	Jun 5, 2019, 12:00:17 AM	28.00 KiB
	Symmetric_Polynomials.gz	Jun 5, 2019, 12:00:17 AM	7.84 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 5, 2019, 12:13:08 AM	20.00 KiB
	Tail_Recursive_Functions.gz	Jun 5, 2019, 12:13:08 AM	644 B
	Tarskis_Geometry.db	Jun 5, 2019, 12:06:00 AM	24.00 KiB
	Tarskis_Geometry.gz	Jun 5, 2019, 12:06:00 AM	2.83 KiB
	Taylor_Models.db	Jun 4, 2019, 11:50:06 PM	28.00 KiB
	Taylor_Models.gz	Jun 4, 2019, 11:50:06 PM	53.92 KiB
	Timed_Automata.db	Jun 4, 2019, 11:42:18 PM	32.00 KiB
	Timed_Automata.gz	Jun 4, 2019, 11:42:18 PM	2.66 KiB
	TLA.db	Jun 5, 2019, 12:11:42 AM	20.00 KiB
	TLA.gz	Jun 5, 2019, 12:11:41 AM	1.34 KiB
	Topology.db	Jun 5, 2019, 12:13:08 AM	20.00 KiB
	Topology.gz	Jun 5, 2019, 12:13:08 AM	1.64 KiB
	TortoiseHare.db	Jun 5, 2019, 12:13:17 AM	20.00 KiB
	TortoiseHare.gz	Jun 5, 2019, 12:13:17 AM	479 B
	Transcendence_Series_Hancl_Rucki.db	Jun 4, 2019, 11:30:10 PM	44.00 KiB
	Transcendence_Series_Hancl_Rucki.gz	Jun 4, 2019, 11:30:10 PM	23.86 KiB
	Transformer_Semantics.db	Jun 5, 2019, 12:12:20 AM	20.00 KiB
	Transformer_Semantics.gz	Jun 5, 2019, 12:12:20 AM	964 B
	Transition_Systems_and_Automata.db	Jun 4, 2019, 11:22:52 PM	44.00 KiB
	Transition_Systems_and_Automata.gz	Jun 4, 2019, 11:22:52 PM	20.07 KiB
	Transitive-Closure.db	Jun 5, 2019, 12:13:28 AM	20.00 KiB
	Transitive-Closure.gz	Jun 5, 2019, 12:13:28 AM	803 B
	Transitive-Closure-II.db	Jun 5, 2019, 12:10:19 AM	20.00 KiB
	Transitive-Closure-II.gz	Jun 5, 2019, 12:10:19 AM	1.52 KiB
	Treaps.db	Jun 5, 2019, 12:04:23 AM	24.00 KiB
	Treaps.gz	Jun 5, 2019, 12:04:23 AM	3.31 KiB
	Tree_Decomposition.db	Jun 5, 2019, 12:13:00 AM	20.00 KiB
	Tree_Decomposition.gz	Jun 5, 2019, 12:13:00 AM	602 B
	Tree-Automata.db	Jun 5, 2019, 12:02:20 AM	48.00 KiB
	Tree-Automata.gz	Jun 5, 2019, 12:02:20 AM	2.30 KiB
	Triangle.db	Jun 5, 2019, 12:13:14 AM	20.00 KiB
	Triangle.gz	Jun 5, 2019, 12:13:14 AM	307 B
	Trie.db	Jun 5, 2019, 12:08:15 AM	20.00 KiB
	Trie.gz	Jun 5, 2019, 12:08:15 AM	349 B
	Tutorial.db	Jun 5, 2019, 12:08:51 AM	20.00 KiB
	Tutorial.gz	Jun 5, 2019, 12:08:51 AM	5.81 KiB
	Twelvefold_Way.db	Jun 5, 2019, 12:01:49 AM	24.00 KiB
	Twelvefold_Way.gz	Jun 5, 2019, 12:01:49 AM	1.68 KiB
	Tycon.db	Jun 5, 2019, 12:12:43 AM	20.00 KiB
	Tycon.gz	Jun 5, 2019, 12:12:43 AM	2.42 KiB
	Typeclass_Hierarchy.db	Jun 5, 2019, 12:12:33 AM	20.00 KiB
	Typeclass_Hierarchy.gz	Jun 5, 2019, 12:12:33 AM	1.75 KiB
	Types_Tableaus_and_Goedels_God.db	Jun 5, 2019, 12:10:25 AM	20.00 KiB
	Types_Tableaus_and_Goedels_God.gz	Jun 5, 2019, 12:10:25 AM	2.41 KiB
	Universal_Turing_Machine.db	Jun 4, 2019, 11:28:37 PM	40.00 KiB
	Universal_Turing_Machine.gz	Jun 4, 2019, 11:28:37 PM	46.15 KiB
	UpDown_Scheme.db	Jun 5, 2019, 12:06:19 AM	24.00 KiB
	UpDown_Scheme.gz	Jun 5, 2019, 12:06:19 AM	4.93 KiB
	UPF_Firewall.db	Jun 4, 2019, 11:55:57 PM	28.00 KiB
	UPF_Firewall.gz	Jun 4, 2019, 11:55:57 PM	4.13 KiB
	UPF.db	Jun 4, 2019, 11:49:41 PM	20.00 KiB
	UPF.gz	Jun 4, 2019, 11:49:41 PM	1.26 KiB
	UTP.db	Jun 5, 2019, 12:05:31 AM	24.00 KiB
	UTP.gz	Jun 5, 2019, 12:05:31 AM	3.64 KiB
	UTP-Toolkit.db	Jun 5, 2019, 12:00:45 AM	24.00 KiB
	UTP-Toolkit.gz	Jun 5, 2019, 12:00:45 AM	2.88 KiB
	Valuation.db	Jun 5, 2019, 12:05:10 AM	24.00 KiB
	Valuation.gz	Jun 5, 2019, 12:05:10 AM	1.36 KiB
	VectorSpace.db	Jun 5, 2019, 12:06:53 AM	24.00 KiB
	VectorSpace.gz	Jun 5, 2019, 12:06:53 AM	1.32 KiB
	Verified-Prover.db	Jun 5, 2019, 12:12:44 AM	20.00 KiB
	Verified-Prover.gz	Jun 5, 2019, 12:12:44 AM	1.00 KiB
	VerifyThis2018.db	Jun 5, 2019, 12:03:37 AM	60.00 KiB
	VerifyThis2018.gz	Jun 5, 2019, 12:03:37 AM	7.83 KiB
	Vickrey_Clarke_Groves.db	Jun 4, 2019, 11:53:25 PM	28.00 KiB
	Vickrey_Clarke_Groves.gz	Jun 4, 2019, 11:53:25 PM	859 B
	VolpanoSmith.db	Jun 5, 2019, 12:12:31 AM	20.00 KiB
	VolpanoSmith.gz	Jun 5, 2019, 12:12:31 AM	10.20 KiB
	WebAssembly.db	Jun 4, 2019, 11:51:52 PM	64.00 KiB
	WebAssembly.gz	Jun 4, 2019, 11:51:52 PM	7.57 KiB
	Weight_Balanced_Trees.db	Jun 5, 2019, 12:10:40 AM	20.00 KiB
	Weight_Balanced_Trees.gz	Jun 5, 2019, 12:10:40 AM	1.10 KiB
	Well_Quasi_Orders.db	Jun 5, 2019, 12:08:21 AM	24.00 KiB
	Well_Quasi_Orders.gz	Jun 5, 2019, 12:08:21 AM	2.87 KiB
	WHATandWHERE_Security.db	Jun 5, 2019, 12:07:57 AM	24.00 KiB
	WHATandWHERE_Security.gz	Jun 5, 2019, 12:07:57 AM	15.98 KiB
	Winding_Number_Eval.db	Jun 4, 2019, 11:53:36 PM	28.00 KiB
	Winding_Number_Eval.gz	Jun 4, 2019, 11:53:36 PM	5.02 KiB
	Word_Lib.db	Jun 4, 2019, 10:53:25 PM	24.00 KiB
	Word_Lib.gz	Jun 4, 2019, 10:53:25 PM	1.83 KiB
	WorkerWrapper.db	Jun 5, 2019, 12:12:15 AM	20.00 KiB
	WorkerWrapper.gz	Jun 5, 2019, 12:12:15 AM	1.04 KiB
	XML.db	Jun 5, 2019, 12:08:46 AM	20.00 KiB
	XML.gz	Jun 5, 2019, 12:08:46 AM	2.20 KiB
	Zeta_Function.db	Jun 4, 2019, 11:45:01 PM	24.00 KiB
	Zeta_Function.gz	Jun 4, 2019, 11:45:01 PM	4.56 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)