Artifacts of afp-repo-afp #1705

	Abortable_Linearizable_Modules.db	Jun 22, 2018, 11:57:43 PM	72.00 KiB
	Abortable_Linearizable_Modules.gz	Jun 22, 2018, 11:57:43 PM	806 B
	Abs_Int_ITP2012.db	Jun 23, 2018, 12:00:41 AM	92.00 KiB
	Abs_Int_ITP2012.gz	Jun 23, 2018, 12:00:41 AM	9.09 KiB
	Abstract_Completeness.db	Jun 22, 2018, 11:06:43 PM	48.00 KiB
	Abstract_Completeness.gz	Jun 22, 2018, 11:06:43 PM	4.16 KiB
	Abstract_Soundness.db	Jun 23, 2018, 12:11:46 AM	36.00 KiB
	Abstract_Soundness.gz	Jun 23, 2018, 12:11:46 AM	760 B
	Abstract-Hoare-Logics.db	Jun 23, 2018, 12:11:57 AM	84.00 KiB
	Abstract-Hoare-Logics.gz	Jun 23, 2018, 12:11:57 AM	16.87 KiB
	Abstract-Rewriting.db	Jun 22, 2018, 10:44:00 PM	148.00 KiB
	Abstract-Rewriting.gz	Jun 22, 2018, 10:43:59 PM	2.34 KiB
	Affine_Arithmetic.db	Jun 22, 2018, 11:04:56 PM	752.00 KiB
	Affine_Arithmetic.gz	Jun 22, 2018, 11:04:56 PM	23.88 KiB
	Akra_Bazzi.db	Jun 22, 2018, 11:56:20 PM	328.00 KiB
	Akra_Bazzi.gz	Jun 22, 2018, 11:56:20 PM	6.35 KiB
	Algebraic_Numbers_Lib.db	Jun 22, 2018, 11:31:42 PM	288.00 KiB
	Algebraic_Numbers_Lib.gz	Jun 22, 2018, 11:31:42 PM	6.34 KiB
	Algebraic_Numbers.db	Jun 22, 2018, 11:37:38 PM	300.00 KiB
	Algebraic_Numbers.gz	Jun 22, 2018, 11:37:38 PM	7.15 KiB
	Algebraic_VCs.db	Jun 22, 2018, 11:39:50 PM	172.00 KiB
	Algebraic_VCs.gz	Jun 22, 2018, 11:39:50 PM	4.58 KiB
	Allen_Calculus.db	Jun 22, 2018, 11:42:42 PM	92.00 KiB
	Allen_Calculus.gz	Jun 22, 2018, 11:42:42 PM	1.72 KiB
	Amortized_Complexity.db	Jun 22, 2018, 10:55:14 PM	144.00 KiB
	Amortized_Complexity.gz	Jun 22, 2018, 10:55:14 PM	3.31 KiB
	AnselmGod.db	Jun 23, 2018, 12:14:07 AM	24.00 KiB
	AnselmGod.gz	Jun 23, 2018, 12:14:07 AM	251 B
	Applicative_Lifting.db	Jun 22, 2018, 11:04:36 PM	152.00 KiB
	Applicative_Lifting.gz	Jun 22, 2018, 11:04:36 PM	4.84 KiB
	Architectural_Design_Patterns.db	Jun 23, 2018, 12:08:07 AM	84.00 KiB
	Architectural_Design_Patterns.gz	Jun 23, 2018, 12:08:07 AM	2.66 KiB
	ArrowImpossibilityGS.db	Jun 23, 2018, 12:13:35 AM	52.00 KiB
	ArrowImpossibilityGS.gz	Jun 23, 2018, 12:13:35 AM	923 B
	AutoFocus-Stream.db	Jun 23, 2018, 12:03:26 AM	112.00 KiB
	AutoFocus-Stream.gz	Jun 23, 2018, 12:03:26 AM	1.60 KiB
	Automatic_Refinement.db	Jun 24, 2018, 11:35:27 AM	72.00 KiB
	Automatic_Refinement.gz	Jun 24, 2018, 11:35:27 AM	9.71 KiB
	AVL-Trees.db	Jun 23, 2018, 12:10:33 AM	32.00 KiB
	AVL-Trees.gz	Jun 23, 2018, 12:10:33 AM	588 B
	AWN.db	Jun 22, 2018, 11:56:41 PM	212.00 KiB
	AWN.gz	Jun 22, 2018, 11:56:41 PM	3.09 KiB
	AxiomaticCategoryTheory.db	Jun 23, 2018, 12:08:03 AM	28.00 KiB
	AxiomaticCategoryTheory.gz	Jun 23, 2018, 12:08:03 AM	1.57 KiB
	BDD.db	Jun 23, 2018, 12:00:31 AM	148.00 KiB
	BDD.gz	Jun 23, 2018, 12:00:31 AM	1.31 KiB
	Bell_Numbers_Spivey.db	Jun 22, 2018, 11:06:27 PM	56.00 KiB
	Bell_Numbers_Spivey.gz	Jun 22, 2018, 11:06:27 PM	982 B
	Berlekamp_Zassenhaus.db	Jun 22, 2018, 11:27:28 PM	448.00 KiB
	Berlekamp_Zassenhaus.gz	Jun 22, 2018, 11:27:28 PM	4.92 KiB
	Bernoulli.db	Jun 23, 2018, 12:11:39 AM	64.00 KiB
	Bernoulli.gz	Jun 23, 2018, 12:11:39 AM	1.05 KiB
	Bertrands_Postulate.db	Jun 22, 2018, 11:59:28 PM	132.00 KiB
	Bertrands_Postulate.gz	Jun 22, 2018, 11:59:28 PM	1.99 KiB
	BinarySearchTree.db	Jun 23, 2018, 12:13:59 AM	40.00 KiB
	BinarySearchTree.gz	Jun 23, 2018, 12:13:59 AM	556 B
	Binomial-Heaps.db	Jun 23, 2018, 12:09:54 AM	72.00 KiB
	Binomial-Heaps.gz	Jun 23, 2018, 12:09:54 AM	8.22 KiB
	Binomial-Queues.db	Jun 23, 2018, 12:13:19 AM	48.00 KiB
	Binomial-Queues.gz	Jun 23, 2018, 12:13:19 AM	767 B
	BNF_CC.db	Jun 23, 2018, 12:09:33 AM	140.00 KiB
	BNF_CC.gz	Jun 23, 2018, 12:09:33 AM	4.76 KiB
	BNF_Operations.db	Jun 23, 2018, 12:10:11 AM	112.00 KiB
	BNF_Operations.gz	Jun 23, 2018, 12:10:11 AM	2.65 KiB
	Bondy.db	Jun 23, 2018, 12:14:24 AM	20.00 KiB
	Bondy.gz	Jun 23, 2018, 12:14:24 AM	191 B
	Boolean_Expression_Checkers.db	Jun 23, 2018, 12:10:33 AM	32.00 KiB
	Boolean_Expression_Checkers.gz	Jun 23, 2018, 12:10:33 AM	550 B
	Bounded_Deducibility_Security.db	Jun 23, 2018, 12:13:21 AM	48.00 KiB
	Bounded_Deducibility_Security.gz	Jun 23, 2018, 12:13:21 AM	1.04 KiB
	Buchi_Complementation.db	Jun 24, 2018, 11:50:33 AM	72.00 KiB
	Buchi_Complementation.gz	Jun 24, 2018, 11:50:33 AM	7.61 KiB
	Buffons_Needle.db	Jun 24, 2018, 11:34:42 AM	28.00 KiB
	Buffons_Needle.gz	Jun 24, 2018, 11:34:42 AM	682 B
	Buildings.db	Jun 22, 2018, 11:50:46 PM	236.00 KiB
	Buildings.gz	Jun 22, 2018, 11:50:46 PM	1.76 KiB
	BytecodeLogicJmlTypes.db	Jun 22, 2018, 11:59:27 PM	56.00 KiB
	BytecodeLogicJmlTypes.gz	Jun 22, 2018, 11:59:27 PM	34.21 KiB
	CakeML_Prelim.db	May 24, 2018, 10:07:35 AM	252.00 KiB
	CakeML_Prelim.gz	May 24, 2018, 10:07:35 AM	5.43 KiB
	CakeML.db	Jun 24, 2018, 12:08:38 PM	360.00 KiB
	CakeML.gz	Jun 24, 2018, 12:08:38 PM	27.58 KiB
	Call_Arity.db	Jun 22, 2018, 11:59:35 PM	260.00 KiB
	Call_Arity.gz	Jun 22, 2018, 11:59:35 PM	5.53 KiB
	Card_Equiv_Relations.db	Jun 23, 2018, 12:14:25 AM	28.00 KiB
	Card_Equiv_Relations.gz	Jun 23, 2018, 12:14:25 AM	233 B
	Card_Multisets.db	Jun 23, 2018, 12:12:26 AM	84.00 KiB
	Card_Multisets.gz	Jun 23, 2018, 12:12:26 AM	1.73 KiB
	Card_Number_Partitions.db	Jun 23, 2018, 12:13:49 AM	40.00 KiB
	Card_Number_Partitions.gz	Jun 23, 2018, 12:13:49 AM	352 B
	Card_Partitions.db	Jun 23, 2018, 12:12:47 AM	72.00 KiB
	Card_Partitions.gz	Jun 23, 2018, 12:12:47 AM	1.29 KiB
	Cartan_FP.db	Jun 23, 2018, 12:14:14 AM	28.00 KiB
	Cartan_FP.gz	Jun 23, 2018, 12:14:14 AM	402 B
	Case_Labeling.db	Jun 23, 2018, 12:13:39 AM	48.00 KiB
	Case_Labeling.gz	Jun 23, 2018, 12:13:39 AM	3.16 KiB
	Catalan_Numbers.db	Jun 23, 2018, 12:10:56 AM	112.00 KiB
	Catalan_Numbers.gz	Jun 23, 2018, 12:10:56 AM	2.67 KiB
	Category.db	Jun 23, 2018, 12:13:43 AM	56.00 KiB
	Category.gz	Jun 23, 2018, 12:13:43 AM	1.44 KiB
	Category2.db	Jun 23, 2018, 12:10:43 AM	128.00 KiB
	Category2.gz	Jun 23, 2018, 12:10:43 AM	3.16 KiB
	Category3.db	Jun 24, 2018, 11:42:32 AM	344.00 KiB
	Category3.gz	Jun 24, 2018, 11:42:32 AM	3.78 KiB
	Cauchy.db	Jun 22, 2018, 11:07:12 PM	40.00 KiB
	Cauchy.gz	Jun 22, 2018, 11:07:12 PM	593 B
	CAVA_Automata.db	Jun 24, 2018, 11:44:52 AM	120.00 KiB
	CAVA_Automata.gz	Jun 24, 2018, 11:44:52 AM	10.95 KiB
	CAVA_Base.db	Jun 24, 2018, 11:42:59 AM	72.00 KiB
	CAVA_Base.gz	Jun 24, 2018, 11:42:58 AM	3.64 KiB
	CAVA_buildchain1.db	Jun 24, 2018, 11:52:34 AM	128.00 KiB
	CAVA_buildchain1.gz	Jun 24, 2018, 11:52:34 AM	5.71 KiB
	CAVA_buildchain3.db	Jun 24, 2018, 11:55:34 AM	108.00 KiB
	CAVA_buildchain3.gz	Jun 24, 2018, 11:55:34 AM	11.01 KiB
	CAVA_LTL_Modelchecker.db	Jun 24, 2018, 11:58:31 AM	80.00 KiB
	CAVA_LTL_Modelchecker.gz	Jun 24, 2018, 11:58:31 AM	29.91 KiB
	Cayley_Hamilton.db	Jun 23, 2018, 12:11:05 AM	108.00 KiB
	Cayley_Hamilton.gz	Jun 23, 2018, 12:11:05 AM	1.18 KiB
	CCS.db	Jun 23, 2018, 12:09:55 AM	80.00 KiB
	CCS.gz	Jun 23, 2018, 12:09:55 AM	6.48 KiB
	Certification_Monads.db	Jun 23, 2018, 12:13:35 AM	52.00 KiB
	Certification_Monads.gz	Jun 23, 2018, 12:13:35 AM	2.21 KiB
	Chord_Segments.db	Jun 23, 2018, 12:13:32 AM	36.00 KiB
	Chord_Segments.gz	Jun 23, 2018, 12:13:32 AM	349 B
	Circus.db	Jun 23, 2018, 12:04:27 AM	116.00 KiB
	Circus.gz	Jun 23, 2018, 12:04:27 AM	26.19 KiB
	CISC-Kernel.db	Jun 23, 2018, 12:09:07 AM	116.00 KiB
	CISC-Kernel.gz	Jun 23, 2018, 12:09:07 AM	2.35 KiB
	ClockSynchInst.db	Jun 23, 2018, 12:13:52 AM	40.00 KiB
	ClockSynchInst.gz	Jun 23, 2018, 12:13:52 AM	301 B
	CofGroups.db	Jun 23, 2018, 12:14:19 AM	36.00 KiB
	CofGroups.gz	Jun 23, 2018, 12:14:19 AM	515 B
	Coinductive_Languages.db	Jun 23, 2018, 12:09:53 AM	88.00 KiB
	Coinductive_Languages.gz	Jun 23, 2018, 12:09:53 AM	2.67 KiB
	Coinductive.db	Jun 22, 2018, 10:47:11 PM	396.00 KiB
	Coinductive.gz	Jun 22, 2018, 10:47:11 PM	6.54 KiB
	Collections_Examples.db	Jun 24, 2018, 11:46:00 AM	352.00 KiB
	Collections_Examples.gz	Jun 24, 2018, 11:46:00 AM	83.05 KiB
	Collections.db	Jun 24, 2018, 11:42:25 AM	420.00 KiB
	Collections.gz	Jun 24, 2018, 11:42:25 AM	107.57 KiB
	Comparison_Sort_Lower_Bound.db	Jun 23, 2018, 12:13:10 AM	56.00 KiB
	Comparison_Sort_Lower_Bound.gz	Jun 23, 2018, 12:13:10 AM	1.06 KiB
	Compiling-Exceptions-Correctly.db	Jun 23, 2018, 12:13:53 AM	20.00 KiB
	Compiling-Exceptions-Correctly.gz	Jun 23, 2018, 12:13:53 AM	453 B
	Completeness.db	Jun 23, 2018, 12:11:24 AM	136.00 KiB
	Completeness.gz	Jun 23, 2018, 12:11:24 AM	2.90 KiB
	Complx.db	Jun 24, 2018, 12:11:29 PM	116.00 KiB
	Complx.gz	Jun 24, 2018, 12:11:29 PM	14.21 KiB
	ComponentDependencies.db	Jun 23, 2018, 12:00:49 AM	56.00 KiB
	ComponentDependencies.gz	Jun 23, 2018, 12:00:49 AM	310 B
	Concurrent_Ref_Alg.db	Jun 23, 2018, 12:12:29 AM	68.00 KiB
	Concurrent_Ref_Alg.gz	Jun 23, 2018, 12:12:29 AM	1.15 KiB
	ConcurrentIMP.db	Jun 23, 2018, 12:08:59 AM	52.00 KiB
	ConcurrentIMP.gz	Jun 23, 2018, 12:08:59 AM	1.82 KiB
	Consensus_Refined.db	Jun 23, 2018, 12:05:54 AM	244.00 KiB
	Consensus_Refined.gz	Jun 23, 2018, 12:05:54 AM	3.76 KiB
	Constructor_Funs.db	Jun 23, 2018, 12:12:28 AM	20.00 KiB
	Constructor_Funs.gz	Jun 23, 2018, 12:12:28 AM	793 B
	Containers.db	Jun 22, 2018, 10:55:43 PM	232.00 KiB
	Containers.gz	Jun 22, 2018, 10:55:43 PM	48.45 KiB
	Containers-Benchmarks.db	Jun 22, 2018, 11:40:59 PM	888.00 KiB
	Containers-Benchmarks.gz	Jun 22, 2018, 11:40:59 PM	81.01 KiB
	CoreC++.db	Jun 22, 2018, 11:39:18 PM	264.00 KiB
	CoreC++.gz	Jun 22, 2018, 11:39:18 PM	45.77 KiB
	Count_Complex_Roots.db	Jun 22, 2018, 11:52:03 PM	384.00 KiB
	Count_Complex_Roots.gz	Jun 22, 2018, 11:52:03 PM	5.54 KiB
	CRDT.db	Jun 22, 2018, 11:05:52 PM	68.00 KiB
	CRDT.gz	Jun 22, 2018, 11:05:52 PM	1.34 KiB
	CryptHOL.db	Jun 22, 2018, 11:05:18 PM	588.00 KiB
	CryptHOL.gz	Jun 22, 2018, 11:05:18 PM	12.65 KiB
	CryptoBasedCompositionalProperties.db	Jun 23, 2018, 12:12:00 AM	44.00 KiB
	CryptoBasedCompositionalProperties.gz	Jun 23, 2018, 12:12:00 AM	464 B
	CYK.db	Jun 23, 2018, 8:50:47 PM	36.00 KiB
	CYK.gz	Jun 23, 2018, 8:50:47 PM	311 B
	DataRefinementIBP.db	Jun 23, 2018, 12:14:06 AM	52.00 KiB
	DataRefinementIBP.gz	Jun 23, 2018, 12:14:06 AM	1.08 KiB
	Datatype_Order_Generator.db	Jun 22, 2018, 10:52:24 PM	208.00 KiB
	Datatype_Order_Generator.gz	Jun 22, 2018, 10:52:24 PM	6.76 KiB
	Decl_Sem_Fun_PL.db	Jun 23, 2018, 12:05:52 AM	156.00 KiB
	Decl_Sem_Fun_PL.gz	Jun 23, 2018, 12:05:52 AM	12.95 KiB
	Decreasing-Diagrams.db	Jun 23, 2018, 12:09:01 AM	56.00 KiB
	Decreasing-Diagrams.gz	Jun 23, 2018, 12:09:01 AM	441 B
	Decreasing-Diagrams-II.db	Jun 23, 2018, 12:09:29 AM	108.00 KiB
	Decreasing-Diagrams-II.gz	Jun 23, 2018, 12:09:29 AM	1.56 KiB
	Deep_Learning_Lib.db	Jun 22, 2018, 11:03:24 PM	516.00 KiB
	Deep_Learning_Lib.gz	Jun 22, 2018, 11:03:24 PM	5.96 KiB
	Deep_Learning.db	Jun 23, 2018, 8:54:02 PM	684.00 KiB
	Deep_Learning.gz	Jun 23, 2018, 8:54:02 PM	9.51 KiB
	Density_Compiler.db	Jun 22, 2018, 11:56:07 PM	180.00 KiB
	Density_Compiler.gz	Jun 22, 2018, 11:56:07 PM	5.67 KiB
	Dependent_SIFUM_Refinement.db	Jun 22, 2018, 11:45:51 PM	68.00 KiB
	Dependent_SIFUM_Refinement.gz	Jun 22, 2018, 11:45:51 PM	6.77 KiB
	Dependent_SIFUM_Type_Systems.db	Jun 22, 2018, 10:41:48 PM	136.00 KiB
	Dependent_SIFUM_Type_Systems.gz	Jun 22, 2018, 10:41:48 PM	28.50 KiB
	Depth-First-Search.db	Jun 23, 2018, 12:14:21 AM	24.00 KiB
	Depth-First-Search.gz	Jun 23, 2018, 12:14:21 AM	302 B
	Derangements.db	Jun 23, 2018, 12:10:18 AM	120.00 KiB
	Derangements.gz	Jun 23, 2018, 12:10:18 AM	1.85 KiB
	Deriving.db	Jun 22, 2018, 10:44:54 PM	232.00 KiB
	Deriving.gz	Jun 22, 2018, 10:44:54 PM	11.93 KiB
	Descartes_Sign_Rule.db	Jun 23, 2018, 12:14:01 AM	32.00 KiB
	Descartes_Sign_Rule.gz	Jun 23, 2018, 12:14:01 AM	248 B
	DFS_Framework.db	Jun 24, 2018, 11:50:32 AM	196.00 KiB
	DFS_Framework.gz	Jun 24, 2018, 11:50:32 AM	10.61 KiB
	Dict_Construction.db	Jun 24, 2018, 11:35:20 AM	88.00 KiB
	Dict_Construction.gz	Jun 24, 2018, 11:35:20 AM	10.16 KiB
	Differential_Dynamic_Logic.db	Jun 22, 2018, 11:36:21 PM	256.00 KiB
	Differential_Dynamic_Logic.gz	Jun 22, 2018, 11:36:21 PM	20.15 KiB
	Dijkstra_Shortest_Path.db	Jun 24, 2018, 11:43:42 AM	92.00 KiB
	Dijkstra_Shortest_Path.gz	Jun 24, 2018, 11:43:42 AM	81.58 KiB
	Diophantine_Eqns_Lin_Hom.db	Jun 22, 2018, 11:05:18 PM	80.00 KiB
	Diophantine_Eqns_Lin_Hom.gz	Jun 22, 2018, 11:05:18 PM	1.12 KiB
	Dirichlet_L.db	Jun 22, 2018, 11:52:54 PM	88.00 KiB
	Dirichlet_L.gz	Jun 22, 2018, 11:52:54 PM	3.76 KiB
	Dirichlet_Series.db	Jun 22, 2018, 11:00:14 PM	848.00 KiB
	Dirichlet_Series.gz	Jun 22, 2018, 11:00:14 PM	12.13 KiB
	Discrete_Summation.db	Jun 23, 2018, 12:13:52 AM	44.00 KiB
	Discrete_Summation.gz	Jun 23, 2018, 12:13:52 AM	832 B
	DiskPaxos.db	Jun 23, 2018, 12:04:54 AM	100.00 KiB
	DiskPaxos.gz	Jun 23, 2018, 12:04:54 AM	429 B
	DPT-SAT-Solver.db	Jun 23, 2018, 12:13:50 AM	20.00 KiB
	DPT-SAT-Solver.gz	Jun 23, 2018, 12:13:50 AM	1.69 KiB
	Dynamic_Tables.db	Jun 23, 2018, 12:13:22 AM	40.00 KiB
	Dynamic_Tables.gz	Jun 23, 2018, 12:13:22 AM	558 B
	DynamicArchitectures.db	Jun 22, 2018, 11:06:39 PM	68.00 KiB
	DynamicArchitectures.gz	Jun 22, 2018, 11:06:39 PM	403 B
	E_Transcendental.db	Jun 22, 2018, 11:50:37 PM	396.00 KiB
	E_Transcendental.gz	Jun 22, 2018, 11:50:37 PM	4.71 KiB
	Echelon_Form.db	Jun 22, 2018, 11:02:24 PM	488.00 KiB
	Echelon_Form.gz	Jun 22, 2018, 11:02:24 PM	27.10 KiB
	EdmondsKarp_Maxflow.db	Jun 24, 2018, 11:52:31 AM	76.00 KiB
	EdmondsKarp_Maxflow.gz	Jun 24, 2018, 11:52:31 AM	19.52 KiB
	Efficient-Mergesort.db	Jun 23, 2018, 12:12:27 AM	24.00 KiB
	Efficient-Mergesort.gz	Jun 23, 2018, 12:12:27 AM	686 B
	Elliptic_Curves_Group_Law.db	Jun 23, 2018, 12:02:01 AM	120.00 KiB
	Elliptic_Curves_Group_Law.gz	Jun 23, 2018, 12:02:01 AM	2.47 KiB
	Encodability_Process_Calculi.db	Jun 23, 2018, 12:03:12 AM	176.00 KiB
	Encodability_Process_Calculi.gz	Jun 23, 2018, 12:03:12 AM	932 B
	Ergodic_Theory.db	Jun 22, 2018, 11:54:42 PM	316.00 KiB
	Ergodic_Theory.gz	Jun 22, 2018, 11:54:42 PM	3.03 KiB
	Error_Function.db	Jun 24, 2018, 11:34:53 AM	120.00 KiB
	Error_Function.gz	Jun 24, 2018, 11:34:53 AM	2.71 KiB
	Euler_MacLaurin.db	Jun 23, 2018, 12:07:49 AM	164.00 KiB
	Euler_MacLaurin.gz	Jun 23, 2018, 12:07:49 AM	3.36 KiB
	Euler_Partition.db	Jun 23, 2018, 12:11:36 AM	100.00 KiB
	Euler_Partition.gz	Jun 23, 2018, 12:11:36 AM	1.81 KiB
	Example-Submission.db	Jun 23, 2018, 12:14:25 AM	20.00 KiB
	Example-Submission.gz	Jun 23, 2018, 12:14:25 AM	206 B
	Falling_Factorial_Sum.db	Jun 23, 2018, 8:50:52 PM	44.00 KiB
	Falling_Factorial_Sum.gz	Jun 23, 2018, 8:50:52 PM	1.12 KiB
	Featherweight_OCL.db	Jun 22, 2018, 11:47:17 PM	236.00 KiB
	Featherweight_OCL.gz	Jun 22, 2018, 11:47:17 PM	31.42 KiB
	FeatherweightJava.db	Jun 23, 2018, 12:12:11 AM	56.00 KiB
	FeatherweightJava.gz	Jun 23, 2018, 12:12:11 AM	4.55 KiB
	Fermat3_4.db	Jun 23, 2018, 12:10:42 AM	76.00 KiB
	Fermat3_4.gz	Jun 23, 2018, 12:10:42 AM	360 B
	FFT.db	Jun 23, 2018, 12:14:19 AM	24.00 KiB
	FFT.gz	Jun 23, 2018, 12:14:19 AM	291 B
	FileRefinement.db	Jun 23, 2018, 12:12:47 AM	32.00 KiB
	FileRefinement.gz	Jun 23, 2018, 12:12:47 AM	330 B
	FinFun.db	Jun 23, 2018, 12:13:24 AM	64.00 KiB
	FinFun.gz	Jun 23, 2018, 12:13:24 AM	1.59 KiB
	Finger-Trees.db	Jun 23, 2018, 12:11:18 AM	48.00 KiB
	Finger-Trees.gz	Jun 23, 2018, 12:11:18 AM	12.72 KiB
	Finite_Automata_HF.db	Jun 23, 2018, 12:10:16 AM	88.00 KiB
	Finite_Automata_HF.gz	Jun 23, 2018, 12:10:16 AM	1.31 KiB
	First_Order_Terms.db	Jun 23, 2018, 8:50:41 PM	68.00 KiB
	First_Order_Terms.gz	Jun 23, 2018, 8:50:41 PM	830 B
	First_Welfare_Theorem.db	Jun 23, 2018, 12:11:57 AM	68.00 KiB
	First_Welfare_Theorem.gz	Jun 23, 2018, 12:11:57 AM	850 B
	Fishburn_Impossibility.db	Jun 23, 2018, 12:07:24 AM	184.00 KiB
	Fishburn_Impossibility.gz	Jun 23, 2018, 12:07:24 AM	3.45 KiB
	Fisher_Yates.db	Jun 23, 2018, 12:14:07 AM	24.00 KiB
	Fisher_Yates.gz	Jun 23, 2018, 12:14:07 AM	614 B
	Flow_Networks.db	Jun 24, 2018, 11:51:20 AM	52.00 KiB
	Flow_Networks.gz	Jun 24, 2018, 11:51:20 AM	8.77 KiB
	Floyd_Warshall.db	Jun 24, 2018, 11:50:48 AM	52.00 KiB
	Floyd_Warshall.gz	Jun 24, 2018, 11:50:48 AM	1.62 KiB
	FLP.db	Jun 23, 2018, 12:09:44 AM	92.00 KiB
	FLP.gz	Jun 23, 2018, 12:09:44 AM	997 B
	FocusStreamsCaseStudies.db	Jun 23, 2018, 12:08:03 AM	100.00 KiB
	FocusStreamsCaseStudies.gz	Jun 23, 2018, 12:08:03 AM	959 B
	FOL_Harrison.db	Jun 23, 2018, 12:12:02 AM	64.00 KiB
	FOL_Harrison.gz	Jun 23, 2018, 12:12:02 AM	11.71 KiB
	FOL.db	Nov 5, 2017, 6:37:19 PM	12.00 KiB
	FOL.gz	Nov 5, 2017, 6:37:19 PM	14.72 KiB
	FOL-Fitting.db	Jun 23, 2018, 12:11:24 AM	44.00 KiB
	FOL-Fitting.gz	Jun 23, 2018, 12:11:24 AM	8.10 KiB
	Formal_SSA.db	Jun 24, 2018, 11:49:40 AM	440.00 KiB
	Formal_SSA.gz	Jun 24, 2018, 11:49:39 AM	64.78 KiB
	Formula_Derivatives.db	Jun 22, 2018, 10:56:48 PM	164.00 KiB
	Formula_Derivatives.gz	Jun 22, 2018, 10:56:48 PM	4.83 KiB
	Formula_Derivatives-Examples.db	Jun 23, 2018, 12:06:45 AM	40.00 KiB
	Formula_Derivatives-Examples.gz	Jun 23, 2018, 12:06:45 AM	10.89 KiB
	Free-Boolean-Algebra.db	Jun 23, 2018, 12:14:20 AM	28.00 KiB
	Free-Boolean-Algebra.gz	Jun 23, 2018, 12:14:20 AM	518 B
	Free-Groups.db	Jun 22, 2018, 11:52:50 PM	428.00 KiB
	Free-Groups.gz	Jun 22, 2018, 11:52:50 PM	5.87 KiB
	Functional-Automata.db	Jun 23, 2018, 12:11:07 AM	72.00 KiB
	Functional-Automata.gz	Jun 23, 2018, 12:11:07 AM	1.66 KiB
	FunWithFunctions.db	Jun 23, 2018, 12:14:16 AM	24.00 KiB
	FunWithFunctions.gz	Jun 23, 2018, 12:14:16 AM	200 B
	FunWithTilings.db	Jun 23, 2018, 12:09:19 AM	24.00 KiB
	FunWithTilings.gz	Jun 23, 2018, 12:09:19 AM	402 B
	Gabow_SCC.db	Jun 24, 2018, 11:49:03 AM	124.00 KiB
	Gabow_SCC.gz	Jun 24, 2018, 11:49:03 AM	5.81 KiB
	Game_Based_Crypto.db	Jun 23, 2018, 12:05:58 AM	120.00 KiB
	Game_Based_Crypto.gz	Jun 23, 2018, 12:05:58 AM	6.14 KiB
	Gauss_Jordan.db	Jun 22, 2018, 11:52:41 PM	308.00 KiB
	Gauss_Jordan.gz	Jun 22, 2018, 11:52:41 PM	28.81 KiB
	Gauss-Jordan-Elim-Fun.db	Jun 23, 2018, 12:14:07 AM	24.00 KiB
	Gauss-Jordan-Elim-Fun.gz	Jun 23, 2018, 12:14:07 AM	271 B
	GenClock.db	Jun 23, 2018, 12:13:57 AM	36.00 KiB
	GenClock.gz	Jun 23, 2018, 12:13:57 AM	280 B
	General-Triangle.db	Jun 23, 2018, 12:14:25 AM	20.00 KiB
	General-Triangle.gz	Jun 23, 2018, 12:14:25 AM	205 B
	Girth_Chromatic.db	Jun 22, 2018, 11:02:01 PM	188.00 KiB
	Girth_Chromatic.gz	Jun 22, 2018, 11:02:01 PM	3.62 KiB
	GoedelGod.db	Jun 23, 2018, 12:12:57 AM	24.00 KiB
	GoedelGod.gz	Jun 23, 2018, 12:12:57 AM	257 B
	GPU_Kernel_PL.db	Jun 23, 2018, 12:13:11 AM	40.00 KiB
	GPU_Kernel_PL.gz	Jun 23, 2018, 12:13:11 AM	746 B
	Graph_Theory.db	Jun 22, 2018, 10:59:29 PM	184.00 KiB
	Graph_Theory.gz	Jun 22, 2018, 10:59:29 PM	1.62 KiB
	GraphMarkingIBP.db	Jun 23, 2018, 12:09:28 AM	76.00 KiB
	GraphMarkingIBP.gz	Jun 23, 2018, 12:09:28 AM	1.55 KiB
	Green.db	Jun 22, 2018, 11:56:21 PM	176.00 KiB
	Green.gz	Jun 22, 2018, 11:56:21 PM	1.93 KiB
	Groebner_Bases.db	Jun 23, 2018, 8:53:41 PM	164.00 KiB
	Groebner_Bases.gz	Jun 23, 2018, 8:53:41 PM	2.55 KiB
	Gromov_Hyperbolicity.db	Jun 22, 2018, 11:48:29 PM	520.00 KiB
	Gromov_Hyperbolicity.gz	Jun 22, 2018, 11:48:29 PM	6.19 KiB
	Group-Ring-Module.db	Jun 22, 2018, 10:53:22 PM	604.00 KiB
	Group-Ring-Module.gz	Jun 22, 2018, 10:53:22 PM	3.25 KiB
	Heard_Of.db	Jun 23, 2018, 12:06:47 AM	200.00 KiB
	Heard_Of.gz	Jun 23, 2018, 12:06:47 AM	2.96 KiB
	HereditarilyFinite.db	Jun 22, 2018, 11:06:26 PM	72.00 KiB
	HereditarilyFinite.gz	Jun 22, 2018, 11:06:26 PM	975 B
	Hermite.db	Jun 22, 2018, 11:58:16 PM	60.00 KiB
	Hermite.gz	Jun 22, 2018, 11:58:16 PM	668 B
	Hidden_Markov_Models.db	Jun 24, 2018, 11:35:46 AM	108.00 KiB
	Hidden_Markov_Models.gz	Jun 24, 2018, 11:35:46 AM	7.65 KiB
	HLDE.db	Jun 23, 2018, 12:07:51 AM	76.00 KiB
	HLDE.gz	Jun 23, 2018, 12:07:51 AM	1.07 KiB
	Hoare_Time.db	Jun 22, 2018, 11:45:56 PM	248.00 KiB
	Hoare_Time.gz	Jun 22, 2018, 11:45:56 PM	59.62 KiB
	HOL.db	Jun 22, 2018, 10:37:52 PM	1.60 MiB
	HOL.gz	Jun 22, 2018, 10:37:52 PM	145.61 KiB
	HOL-Algebra.db	Jun 22, 2018, 10:47:11 PM	312.00 KiB
	HOL-Algebra.gz	Jun 22, 2018, 10:47:11 PM	3.60 KiB
	HOL-Analysis.db	Jun 22, 2018, 10:54:43 PM	3.00 MiB
	HOL-Analysis.gz	Jun 22, 2018, 10:54:43 PM	28.69 KiB
	HOL-Cardinals.db	Jun 22, 2018, 10:44:46 PM	148.00 KiB
	HOL-Cardinals.gz	Jun 22, 2018, 10:44:46 PM	737 B
	HOLCF.db	Jun 22, 2018, 10:38:34 PM	220.00 KiB
	HOLCF.gz	Jun 22, 2018, 10:38:34 PM	6.04 KiB
	HOLCF-Library.db	Jun 22, 2018, 11:06:08 PM	116.00 KiB
	HOLCF-Library.gz	Jun 22, 2018, 11:06:08 PM	2.15 KiB
	HOLCF-Nominal2.db	Nov 3, 2017, 8:05:53 PM	16.00 KiB
	HOLCF-Nominal2.gz	Nov 3, 2017, 8:05:52 PM	15.72 KiB
	HOLCF-Prelude.db	Jun 23, 2018, 12:01:48 AM	220.00 KiB
	HOLCF-Prelude.gz	Jun 23, 2018, 12:01:48 AM	6.19 KiB
	HOL-Computational_Algebra.db	Jun 22, 2018, 10:44:39 PM	288.00 KiB
	HOL-Computational_Algebra.gz	Jun 22, 2018, 10:44:39 PM	3.25 KiB
	HOL-Data_Structures.db	Nov 5, 2017, 8:24:31 PM	36.00 KiB
	HOL-Data_Structures.gz	Nov 5, 2017, 8:24:31 PM	9.13 KiB
	HOL-Decision_Procs.db	Nov 5, 2017, 8:24:49 PM	44.00 KiB
	HOL-Decision_Procs.gz	Nov 5, 2017, 8:24:49 PM	6.28 KiB
	HOL-Eisbach.db	Jun 22, 2018, 11:06:55 PM	60.00 KiB
	HOL-Eisbach.gz	Jun 22, 2018, 11:06:55 PM	12.33 KiB
	HOL-ex.db	Nov 5, 2017, 8:22:54 PM	36.00 KiB
	HOL-ex.gz	Nov 5, 2017, 8:22:54 PM	52.83 KiB
	HOL-Hoare.db	Nov 5, 2017, 8:15:49 PM	12.00 KiB
	HOL-Hoare.gz	Nov 5, 2017, 8:15:49 PM	11.17 KiB
	HOL-IMP.db	Nov 5, 2017, 8:18:04 PM	20.00 KiB
	HOL-IMP.gz	Nov 5, 2017, 8:18:04 PM	29.24 KiB
	HOL-Imperative_HOL.db	Jun 22, 2018, 10:55:09 PM	108.00 KiB
	HOL-Imperative_HOL.gz	Jun 22, 2018, 10:55:09 PM	4.96 KiB
	HOL-Lattice.db	Nov 5, 2017, 8:15:25 PM	12.00 KiB
	HOL-Lattice.gz	Nov 5, 2017, 8:15:25 PM	2.72 KiB
	HOL-Library.db	Jun 22, 2018, 10:42:51 PM	968.00 KiB
	HOL-Library.gz	Jun 22, 2018, 10:42:51 PM	29.78 KiB
	HOL-Nominal.db	Jun 22, 2018, 10:43:33 PM	56.00 KiB
	HOL-Nominal.gz	Jun 22, 2018, 10:43:33 PM	3.42 KiB
	HOL-Nonstandard_Analysis.db	Nov 5, 2017, 8:15:38 PM	12.00 KiB
	HOL-Nonstandard_Analysis.gz	Nov 5, 2017, 8:15:38 PM	46.09 KiB
	HOL-Number_Theory.db	Jun 22, 2018, 10:47:22 PM	300.00 KiB
	HOL-Number_Theory.gz	Jun 22, 2018, 10:47:22 PM	3.75 KiB
	HOL-ODE.db	May 24, 2018, 7:44:35 PM	20.00 KiB
	HOL-ODE.gz	May 24, 2018, 7:44:35 PM	21 B
	HOL-ODE-Examples.db	Jun 22, 2018, 11:50:34 PM	76.00 KiB
	HOL-ODE-Examples.gz	Jun 22, 2018, 11:50:34 PM	1.45 KiB
	HOL-ODE-Numerics.db	Jun 22, 2018, 11:39:14 PM	1.61 MiB
	HOL-ODE-Numerics.gz	Jun 22, 2018, 11:39:14 PM	57.68 KiB
	HOL-ODE-Refinement.db	May 24, 2018, 7:55:47 PM	1.19 MiB
	HOL-ODE-Refinement.gz	May 24, 2018, 7:55:47 PM	42.79 KiB
	HOL-Probability.db	Jun 22, 2018, 10:58:26 PM	612.00 KiB
	HOL-Probability.gz	Jun 22, 2018, 10:58:26 PM	10.43 KiB
	HOL-Proofs.db	Nov 5, 2017, 6:55:56 PM	60.00 KiB
	HOL-Proofs.gz	Nov 5, 2017, 6:55:56 PM	141.49 KiB
	HOL-Proofs-Lambda.db	Nov 5, 2017, 8:17:43 PM	16.00 KiB
	HOL-Proofs-Lambda.gz	Nov 5, 2017, 8:17:43 PM	7.71 KiB
	HOL-SPARK.db	Jun 22, 2018, 11:07:29 PM	28.00 KiB
	HOL-SPARK.gz	Jun 22, 2018, 11:07:29 PM	1.43 KiB
	HOL-SPARK-Examples.db	Jun 22, 2018, 11:08:03 PM	56.00 KiB
	HOL-SPARK-Examples.gz	Jun 22, 2018, 11:08:03 PM	1.00 KiB
	HOL-Statespace.db	Nov 5, 2017, 8:15:42 PM	12.00 KiB
	HOL-Statespace.gz	Nov 5, 2017, 8:15:42 PM	3.68 KiB
	HOL-Types_To_Sets.db	Nov 5, 2017, 8:15:28 PM	12.00 KiB
	HOL-Types_To_Sets.gz	Nov 5, 2017, 8:15:28 PM	662 B
	HOL-Word.db	Jun 22, 2018, 10:38:38 PM	180.00 KiB
	HOL-Word.gz	Jun 22, 2018, 10:38:38 PM	4.28 KiB
	HOL-ZF.db	Nov 5, 2017, 8:15:36 PM	12.00 KiB
	HOL-ZF.gz	Nov 5, 2017, 8:15:36 PM	4.03 KiB
	HotelKeyCards.db	Jun 23, 2018, 12:13:23 AM	40.00 KiB
	HotelKeyCards.gz	Jun 23, 2018, 12:13:23 AM	576 B
	HRB-Slicing.db	Jun 22, 2018, 11:00:40 PM	444.00 KiB
	HRB-Slicing.gz	Jun 22, 2018, 11:00:40 PM	141.83 KiB
	Huffman.db	Jun 23, 2018, 12:12:19 AM	52.00 KiB
	Huffman.gz	Jun 23, 2018, 12:12:19 AM	521 B
	Hybrid_Multi_Lane_Spatial_Logic.db	Jun 23, 2018, 12:00:48 AM	152.00 KiB
	Hybrid_Multi_Lane_Spatial_Logic.gz	Jun 23, 2018, 12:00:48 AM	1.06 KiB
	HyperCTL.db	Jun 23, 2018, 12:11:27 AM	60.00 KiB
	HyperCTL.gz	Jun 23, 2018, 12:11:27 AM	1.72 KiB
	IEEE_Floating_Point.db	Jun 24, 2018, 12:05:04 PM	116.00 KiB
	IEEE_Floating_Point.gz	Jun 24, 2018, 12:05:04 PM	3.18 KiB
	IMAP-CRDT.db	Jun 23, 2018, 8:50:02 PM	40.00 KiB
	IMAP-CRDT.gz	Jun 23, 2018, 8:50:02 PM	426 B
	Imperative_Insertion_Sort.db	Jun 23, 2018, 12:13:30 AM	28.00 KiB
	Imperative_Insertion_Sort.gz	Jun 23, 2018, 12:13:30 AM	2.80 KiB
	Impossible_Geometry.db	Jun 23, 2018, 12:12:34 AM	40.00 KiB
	Impossible_Geometry.gz	Jun 23, 2018, 12:12:34 AM	528 B
	Incompleteness.db	Jun 22, 2018, 11:18:29 PM	328.00 KiB
	Incompleteness.gz	Jun 22, 2018, 11:18:29 PM	28.58 KiB
	Incredible_Proof_Machine.db	Jun 23, 2018, 12:05:20 AM	152.00 KiB
	Incredible_Proof_Machine.gz	Jun 23, 2018, 12:05:20 AM	5.42 KiB
	Inductive_Confidentiality.db	Jun 23, 2018, 12:11:27 AM	92.00 KiB
	Inductive_Confidentiality.gz	Jun 23, 2018, 12:11:27 AM	2.64 KiB
	InformationFlowSlicing_Inter.db	Jun 23, 2018, 12:08:38 AM	60.00 KiB
	InformationFlowSlicing_Inter.gz	Jun 23, 2018, 12:08:38 AM	10.46 KiB
	InformationFlowSlicing.db	Jun 23, 2018, 12:12:49 AM	56.00 KiB
	InformationFlowSlicing.gz	Jun 23, 2018, 12:12:49 AM	3.45 KiB
	InfPathElimination.db	Jun 22, 2018, 11:49:36 PM	128.00 KiB
	InfPathElimination.gz	Jun 22, 2018, 11:49:36 PM	1.41 KiB
	Integration.db	Jun 23, 2018, 12:12:17 AM	76.00 KiB
	Integration.gz	Jun 23, 2018, 12:12:17 AM	1.33 KiB
	IP_Addresses.db	Jun 24, 2018, 12:09:57 PM	120.00 KiB
	IP_Addresses.gz	Jun 24, 2018, 12:09:56 PM	5.83 KiB
	Iptables_Semantics_Examples.db	Jun 24, 2018, 12:23:28 PM	92.00 KiB
	Iptables_Semantics_Examples.gz	Jun 24, 2018, 12:23:28 PM	73.85 KiB
	Iptables_Semantics.db	Jun 24, 2018, 12:15:18 PM	420.00 KiB
	Iptables_Semantics.gz	Jun 24, 2018, 12:15:18 PM	21.72 KiB
	Irrationality_J_Hancl.db	Jun 23, 2018, 8:50:42 PM	180.00 KiB
	Irrationality_J_Hancl.gz	Jun 23, 2018, 8:50:42 PM	3.96 KiB
	Isabelle_Meta_Model.db	Jun 22, 2018, 11:45:30 PM	112.00 KiB
	Isabelle_Meta_Model.gz	Jun 22, 2018, 11:45:30 PM	27.67 KiB
	Isar_Ref.db	Nov 5, 2017, 8:15:58 PM	12.00 KiB
	Isar_Ref.gz	Nov 5, 2017, 8:15:58 PM	27.08 KiB
	Jinja.db	Jun 22, 2018, 10:50:16 PM	268.00 KiB
	Jinja.gz	Jun 22, 2018, 10:50:16 PM	36.77 KiB
	JiveDataStoreModel.db	Jun 23, 2018, 12:11:46 AM	76.00 KiB
	JiveDataStoreModel.gz	Jun 23, 2018, 12:11:46 AM	1.48 KiB
	JNF-AFP-Lib.db	Jun 22, 2018, 11:11:17 PM	452.00 KiB
	JNF-AFP-Lib.gz	Jun 22, 2018, 11:11:17 PM	21.64 KiB
	JNF-HOL-Lib.db	Jun 22, 2018, 11:07:38 PM	28.00 KiB
	JNF-HOL-Lib.gz	Jun 22, 2018, 11:07:38 PM	141 B
	Jordan_Hoelder.db	Jun 23, 2018, 12:10:43 AM	108.00 KiB
	Jordan_Hoelder.gz	Jun 23, 2018, 12:10:43 AM	3.15 KiB
	Jordan_Normal_Form.db	Jun 22, 2018, 11:17:58 PM	444.00 KiB
	Jordan_Normal_Form.gz	Jun 22, 2018, 11:17:58 PM	5.98 KiB
	KAD.db	Jun 22, 2018, 11:50:41 PM	128.00 KiB
	KAD.gz	Jun 22, 2018, 11:50:41 PM	3.54 KiB
	KAT_and_DRA.db	Jun 22, 2018, 10:43:19 PM	76.00 KiB
	KAT_and_DRA.gz	Jun 22, 2018, 10:43:19 PM	2.70 KiB
	KBPs.db	Jun 22, 2018, 11:47:45 PM	140.00 KiB
	KBPs.gz	Jun 22, 2018, 11:47:45 PM	16.34 KiB
	Key_Agreement_Strong_Adversaries.db	Jun 22, 2018, 11:27:23 PM	240.00 KiB
	Key_Agreement_Strong_Adversaries.gz	Jun 22, 2018, 11:27:23 PM	2.86 KiB
	Kleene_Algebra.db	Jun 22, 2018, 10:40:12 PM	120.00 KiB
	Kleene_Algebra.gz	Jun 22, 2018, 10:40:12 PM	3.29 KiB
	Knot_Theory.db	Jun 22, 2018, 11:57:35 PM	204.00 KiB
	Knot_Theory.gz	Jun 22, 2018, 11:57:35 PM	51.91 KiB
	Knuth_Morris_Pratt.db	Jun 24, 2018, 11:50:48 AM	60.00 KiB
	Knuth_Morris_Pratt.gz	Jun 24, 2018, 11:50:48 AM	3.50 KiB
	Koenigsberg_Friendship_Base.db	Oct 27, 2017, 8:23:51 AM	12.00 KiB
	Koenigsberg_Friendship_Base.gz	Oct 27, 2017, 8:23:51 AM	249 B
	Koenigsberg_Friendship.db	Jun 23, 2018, 12:03:12 AM	100.00 KiB
	Koenigsberg_Friendship.gz	Jun 23, 2018, 12:03:12 AM	891 B
	Kuratowski_Closure_Complement.db	Jun 23, 2018, 12:08:24 AM	32.00 KiB
	Kuratowski_Closure_Complement.gz	Jun 23, 2018, 12:08:24 AM	756 B
	Lambda_Free_KBOs.db	Jun 22, 2018, 11:59:28 PM	280.00 KiB
	Lambda_Free_KBOs.gz	Jun 22, 2018, 11:59:28 PM	3.69 KiB
	Lambda_Free_RPOs.db	Jun 23, 2018, 12:10:21 AM	104.00 KiB
	Lambda_Free_RPOs.gz	Jun 23, 2018, 12:10:21 AM	1.34 KiB
	LambdaMu.db	Jun 23, 2018, 12:13:00 AM	44.00 KiB
	LambdaMu.gz	Jun 23, 2018, 12:13:00 AM	822 B
	Lam-ml-Normalization.db	Jun 23, 2018, 12:12:44 AM	48.00 KiB
	Lam-ml-Normalization.gz	Jun 23, 2018, 12:12:44 AM	14.04 KiB
	Landau_Analysis.db	May 28, 2018, 1:45:20 PM	104.00 KiB
	Landau_Analysis.gz	May 28, 2018, 1:45:20 PM	2.05 KiB
	Landau_Symbols.db	Jun 23, 2018, 12:12:44 AM	64.00 KiB
	Landau_Symbols.gz	Jun 23, 2018, 12:12:44 AM	1.45 KiB
	Latin_Square.db	Jun 23, 2018, 12:13:13 AM	40.00 KiB
	Latin_Square.gz	Jun 23, 2018, 12:13:13 AM	482 B
	LatticeProperties.db	Jun 23, 2018, 12:14:00 AM	44.00 KiB
	LatticeProperties.gz	Jun 23, 2018, 12:14:00 AM	1.26 KiB
	Launchbury.db	Jun 22, 2018, 10:42:17 PM	428.00 KiB
	Launchbury.gz	Jun 22, 2018, 10:42:17 PM	16.88 KiB
	Lazy_Case.db	Jun 23, 2018, 12:13:59 AM	20.00 KiB
	Lazy_Case.gz	Jun 23, 2018, 12:13:59 AM	1.10 KiB
	Lazy-Lists-II.db	Jun 23, 2018, 12:14:15 AM	36.00 KiB
	Lazy-Lists-II.gz	Jun 23, 2018, 12:14:15 AM	425 B
	Lehmer.db	Jun 23, 2018, 12:14:22 AM	24.00 KiB
	Lehmer.gz	Jun 23, 2018, 12:14:22 AM	194 B
	LEM.db	Jun 24, 2018, 12:05:37 PM	176.00 KiB
	LEM.gz	Jun 24, 2018, 12:05:37 PM	10.49 KiB
	Lifting_Definition_Option.db	Jun 23, 2018, 12:14:07 AM	20.00 KiB
	Lifting_Definition_Option.gz	Jun 23, 2018, 12:14:07 AM	3.72 KiB
	LightweightJava.db	Jun 23, 2018, 12:04:23 AM	76.00 KiB
	LightweightJava.gz	Jun 23, 2018, 12:04:23 AM	880 B
	Linear_Recurrences_Test.db	Jun 22, 2018, 11:39:57 PM	108.00 KiB
	Linear_Recurrences_Test.gz	Jun 22, 2018, 11:39:57 PM	1.92 KiB
	Linear_Recurrences.db	Jun 22, 2018, 11:32:37 PM	92.00 KiB
	Linear_Recurrences.gz	Jun 22, 2018, 11:32:37 PM	1.61 KiB
	LinearQuantifierElim.db	Jun 22, 2018, 11:54:43 PM	108.00 KiB
	LinearQuantifierElim.gz	Jun 22, 2018, 11:54:43 PM	1.48 KiB
	Liouville_Numbers.db	Jun 23, 2018, 12:14:10 AM	28.00 KiB
	Liouville_Numbers.gz	Jun 23, 2018, 12:14:10 AM	654 B
	List_Interleaving.db	Jun 23, 2018, 12:14:00 AM	32.00 KiB
	List_Interleaving.gz	Jun 23, 2018, 12:14:00 AM	283 B
	List_Update.db	Jun 22, 2018, 11:51:52 PM	300.00 KiB
	List_Update.gz	Jun 22, 2018, 11:51:52 PM	3.64 KiB
	List-Index.db	Jun 23, 2018, 12:14:03 AM	28.00 KiB
	List-Index.gz	Jun 23, 2018, 12:14:03 AM	356 B
	List-Infinite.db	Jun 22, 2018, 11:06:07 PM	156.00 KiB
	List-Infinite.gz	Jun 22, 2018, 11:06:07 PM	2.77 KiB
	LLL_Basis_Reduction.db	Jun 23, 2018, 8:57:07 PM	1.19 MiB
	LLL_Basis_Reduction.gz	Jun 23, 2018, 8:57:07 PM	12.62 KiB
	LLL_Factorization.db	Jun 24, 2018, 11:35:39 AM	100.00 KiB
	LLL_Factorization.gz	Jun 24, 2018, 11:35:39 AM	29.26 KiB
	LocalLexing.db	Jun 22, 2018, 11:58:00 PM	248.00 KiB
	LocalLexing.gz	Jun 22, 2018, 11:58:00 PM	1.32 KiB
	Locally-Nameless-Sigma.db	Jun 23, 2018, 12:05:57 AM	124.00 KiB
	Locally-Nameless-Sigma.gz	Jun 23, 2018, 12:05:57 AM	19.77 KiB
	LOFT.db	Jun 24, 2018, 12:17:58 PM	96.00 KiB
	LOFT.gz	Jun 24, 2018, 12:17:58 PM	7.45 KiB
	Lorenz_Approximation.db	Jun 22, 2018, 11:45:12 PM	112.00 KiB
	Lorenz_Approximation.gz	Jun 22, 2018, 11:45:11 PM	23.33 KiB
	Lorenz_C0.db	Nov 2, 2017, 5:14:04 PM	212.00 KiB
	Lorenz_C0.gz	Nov 2, 2017, 5:14:04 PM	1.85 KiB
	Lorenz_C1.db	Jun 23, 2018, 12:14:23 AM	20.00 KiB
	Lorenz_C1.gz	Jun 23, 2018, 12:14:23 AM	135 B
	Lowe_Ontological_Argument.db	Jun 23, 2018, 8:50:26 PM	52.00 KiB
	Lowe_Ontological_Argument.gz	Jun 23, 2018, 8:50:26 PM	3.79 KiB
	Lower_Semicontinuous.db	Jun 23, 2018, 12:13:15 AM	48.00 KiB
	Lower_Semicontinuous.gz	Jun 23, 2018, 12:13:15 AM	368 B
	Lp.db	Jun 23, 2018, 12:06:43 AM	116.00 KiB
	Lp.gz	Jun 23, 2018, 12:06:43 AM	2.46 KiB
	LTL_to_DRA.db	Jun 22, 2018, 11:48:09 PM	240.00 KiB
	LTL_to_DRA.gz	Jun 22, 2018, 11:48:09 PM	15.93 KiB
	LTL_to_GBA.db	Jun 24, 2018, 11:49:58 AM	172.00 KiB
	LTL_to_GBA.gz	Jun 24, 2018, 11:49:58 AM	9.94 KiB
	LTL.db	Jun 22, 2018, 10:44:31 PM	44.00 KiB
	LTL.gz	Jun 22, 2018, 10:44:31 PM	1.51 KiB
	Markov_Models.db	Jun 22, 2018, 11:01:26 PM	404.00 KiB
	Markov_Models.gz	Jun 22, 2018, 11:01:26 PM	6.40 KiB
	Marriage.db	Jun 23, 2018, 12:14:13 AM	24.00 KiB
	Marriage.gz	Jun 23, 2018, 12:14:13 AM	310 B
	Mason_Stothers.db	Jun 23, 2018, 8:50:50 PM	24.00 KiB
	Mason_Stothers.gz	Jun 23, 2018, 8:50:50 PM	582 B
	Matrix_Tensor.db	Jun 22, 2018, 11:04:11 PM	64.00 KiB
	Matrix_Tensor.gz	Jun 22, 2018, 11:04:11 PM	46.92 KiB
	Matrix.db	Jun 22, 2018, 11:03:07 PM	136.00 KiB
	Matrix.gz	Jun 22, 2018, 11:03:07 PM	2.19 KiB
	Max-Card-Matching.db	Jun 23, 2018, 12:14:16 AM	24.00 KiB
	Max-Card-Matching.gz	Jun 23, 2018, 12:14:16 AM	202 B
	Maxflow_Lib.db	Jun 24, 2018, 11:49:55 AM	172.00 KiB
	Maxflow_Lib.gz	Jun 24, 2018, 11:49:55 AM	9.96 KiB
	Median_Of_Medians_Selection.db	Jun 23, 2018, 8:50:48 PM	36.00 KiB
	Median_Of_Medians_Selection.gz	Jun 23, 2018, 8:50:48 PM	1.78 KiB
	Menger.db	Jun 23, 2018, 12:12:19 AM	68.00 KiB
	Menger.gz	Jun 23, 2018, 12:12:19 AM	879 B
	MFMC_Countable.db	Jun 22, 2018, 11:58:00 PM	296.00 KiB
	MFMC_Countable.gz	Jun 22, 2018, 11:58:00 PM	4.32 KiB
	Minimal_SSA.db	Jun 24, 2018, 11:50:43 AM	36.00 KiB
	Minimal_SSA.gz	Jun 24, 2018, 11:50:43 AM	822 B
	MiniML.db	Jun 23, 2018, 12:12:00 AM	56.00 KiB
	MiniML.gz	Jun 23, 2018, 12:12:00 AM	1.29 KiB
	Minkowskis_Theorem.db	Jun 23, 2018, 12:14:14 AM	28.00 KiB
	Minkowskis_Theorem.gz	Jun 23, 2018, 12:14:14 AM	425 B
	Modal_Logics_for_NTS.db	Jun 22, 2018, 11:39:23 PM	312.00 KiB
	Modal_Logics_for_NTS.gz	Jun 22, 2018, 11:39:23 PM	3.07 KiB
	Modular_Assembly_Kit_Security.db	Jun 23, 2018, 12:06:48 AM	176.00 KiB
	Modular_Assembly_Kit_Security.gz	Jun 23, 2018, 12:06:48 AM	3.10 KiB
	Monad_Memo_DP.db	Jun 22, 2018, 10:41:55 PM	320.00 KiB
	Monad_Memo_DP.gz	Jun 22, 2018, 10:41:55 PM	23.59 KiB
	Monad_Normalisation.db	Jun 23, 2018, 12:14:22 AM	28.00 KiB
	Monad_Normalisation.gz	Jun 23, 2018, 12:14:22 AM	501 B
	MonoBoolTranAlgebra.db	Jun 23, 2018, 12:13:01 AM	68.00 KiB
	MonoBoolTranAlgebra.gz	Jun 23, 2018, 12:13:01 AM	1.92 KiB
	MonoidalCategory.db	Jun 24, 2018, 11:50:28 AM	164.00 KiB
	MonoidalCategory.gz	Jun 24, 2018, 11:50:28 AM	1.33 KiB
	Monomorphic_Monad.db	Jun 23, 2018, 12:07:25 AM	108.00 KiB
	Monomorphic_Monad.gz	Jun 23, 2018, 12:07:25 AM	3.53 KiB
	MSO_Examples.db	Jun 24, 2018, 11:48:39 AM	36.00 KiB
	MSO_Examples.gz	Jun 24, 2018, 11:48:39 AM	352 B
	MSO_Regex_Equivalence.db	Jun 24, 2018, 11:47:29 AM	236.00 KiB
	MSO_Regex_Equivalence.gz	Jun 24, 2018, 11:47:29 AM	6.17 KiB
	MuchAdoAboutTwo.db	Jun 23, 2018, 12:13:32 AM	44.00 KiB
	MuchAdoAboutTwo.gz	Jun 23, 2018, 12:13:32 AM	442 B
	Multirelations.db	Jun 22, 2018, 11:54:34 PM	64.00 KiB
	Multirelations.gz	Jun 22, 2018, 11:54:34 PM	4.04 KiB
	Myhill-Nerode.db	Jun 23, 2018, 12:07:18 AM	152.00 KiB
	Myhill-Nerode.gz	Jun 23, 2018, 12:07:18 AM	3.67 KiB
	Name_Carrying_Type_Inference.db	Jun 23, 2018, 12:09:47 AM	76.00 KiB
	Name_Carrying_Type_Inference.gz	Jun 23, 2018, 12:09:47 AM	2.42 KiB
	Nat-Interval-Logic.db	Jun 22, 2018, 11:07:14 PM	112.00 KiB
	Nat-Interval-Logic.gz	Jun 22, 2018, 11:07:14 PM	1.06 KiB
	Native_Word.db	Jun 22, 2018, 11:35:38 PM	208.00 KiB
	Native_Word.gz	Jun 22, 2018, 11:35:38 PM	74.47 KiB
	Nested_Multisets_Ordinals.db	Jun 22, 2018, 11:08:46 PM	328.00 KiB
	Nested_Multisets_Ordinals.gz	Jun 22, 2018, 11:08:46 PM	5.72 KiB
	Network_Security_Policy_Verification.db	Jun 22, 2018, 11:25:39 PM	364.00 KiB
	Network_Security_Policy_Verification.gz	Jun 22, 2018, 11:25:39 PM	61.00 KiB
	No_FTL_observers.db	Jun 22, 2018, 11:43:01 PM	52.00 KiB
	No_FTL_observers.gz	Jun 22, 2018, 11:43:01 PM	7.09 KiB
	Nominal2.db	Jun 22, 2018, 10:38:52 PM	260.00 KiB
	Nominal2.gz	Jun 22, 2018, 10:38:52 PM	16.43 KiB
	Noninterference_Concurrent_Composition.db	Jun 23, 2018, 12:12:48 AM	52.00 KiB
	Noninterference_Concurrent_Composition.gz	Jun 23, 2018, 12:12:48 AM	347 B
	Noninterference_CSP.db	Jun 22, 2018, 11:06:51 PM	60.00 KiB
	Noninterference_CSP.gz	Jun 22, 2018, 11:06:51 PM	587 B
	Noninterference_Generic_Unwinding.db	Jun 23, 2018, 12:10:11 AM	36.00 KiB
	Noninterference_Generic_Unwinding.gz	Jun 23, 2018, 12:10:11 AM	311 B
	Noninterference_Inductive_Unwinding.db	Jun 23, 2018, 12:12:40 AM	96.00 KiB
	Noninterference_Inductive_Unwinding.gz	Jun 23, 2018, 12:12:40 AM	691 B
	Noninterference_Ipurge_Unwinding.db	Jun 22, 2018, 11:07:16 PM	72.00 KiB
	Noninterference_Ipurge_Unwinding.gz	Jun 22, 2018, 11:07:16 PM	522 B
	Noninterference_Sequential_Composition.db	Jun 22, 2018, 11:05:58 PM	144.00 KiB
	Noninterference_Sequential_Composition.gz	Jun 22, 2018, 11:05:58 PM	791 B
	NormByEval.db	Jun 23, 2018, 12:08:32 AM	52.00 KiB
	NormByEval.gz	Jun 23, 2018, 12:08:32 AM	821 B
	Old_Datatype_Show.db	Jun 23, 2018, 12:12:12 AM	32.00 KiB
	Old_Datatype_Show.gz	Jun 23, 2018, 12:12:11 AM	902 B
	Open_Induction.db	Jun 23, 2018, 12:14:13 AM	36.00 KiB
	Open_Induction.gz	Jun 23, 2018, 12:14:13 AM	450 B
	OpSets.db	Jun 23, 2018, 12:10:18 AM	84.00 KiB
	OpSets.gz	Jun 23, 2018, 12:10:18 AM	608 B
	Optics.db	Jun 23, 2018, 12:11:57 AM	60.00 KiB
	Optics.gz	Jun 23, 2018, 12:11:57 AM	1.45 KiB
	Optimal_BST.db	Jun 23, 2018, 12:09:53 AM	52.00 KiB
	Optimal_BST.gz	Jun 23, 2018, 12:09:52 AM	1.31 KiB
	Orbit_Stabiliser.db	Jun 23, 2018, 12:12:15 AM	48.00 KiB
	Orbit_Stabiliser.gz	Jun 23, 2018, 12:12:15 AM	584 B
	Ordered_Resolution_Prover.db	Jun 23, 2018, 12:00:42 AM	256.00 KiB
	Ordered_Resolution_Prover.gz	Jun 23, 2018, 12:00:42 AM	3.73 KiB
	Ordinal.db	Jun 22, 2018, 11:07:02 PM	68.00 KiB
	Ordinal.gz	Jun 22, 2018, 11:07:02 PM	1.32 KiB
	Ordinals_and_Cardinals.db	Jun 23, 2018, 12:14:26 AM	20.00 KiB
	Ordinals_and_Cardinals.gz	Jun 23, 2018, 12:14:26 AM	222 B
	Ordinary_Differential_Equations.db	Jun 22, 2018, 10:59:48 PM	488.00 KiB
	Ordinary_Differential_Equations.gz	Jun 22, 2018, 10:59:47 PM	12.19 KiB
	Pairing_Heap.db	Jun 23, 2018, 12:13:53 AM	36.00 KiB
	Pairing_Heap.gz	Jun 23, 2018, 12:13:53 AM	729 B
	Paraconsistency.db	Jun 22, 2018, 11:43:50 PM	40.00 KiB
	Paraconsistency.gz	Jun 22, 2018, 11:43:50 PM	273 B
	Parity_Game.db	Jun 22, 2018, 11:54:59 PM	544.00 KiB
	Parity_Game.gz	Jun 22, 2018, 11:54:58 PM	8.18 KiB
	Partial_Function_MR.db	Jun 23, 2018, 12:13:25 AM	28.00 KiB
	Partial_Function_MR.gz	Jun 23, 2018, 12:13:25 AM	690 B
	Partial_Order_Reduction.db	Jun 24, 2018, 11:50:17 AM	300.00 KiB
	Partial_Order_Reduction.gz	Jun 24, 2018, 11:50:17 AM	10.32 KiB
	Password_Authentication_Protocol.db	Jun 22, 2018, 11:56:25 PM	84.00 KiB
	Password_Authentication_Protocol.gz	Jun 22, 2018, 11:56:25 PM	565 B
	PCF.db	Jun 23, 2018, 12:04:11 AM	56.00 KiB
	PCF.gz	Jun 23, 2018, 12:04:11 AM	2.58 KiB
	Perfect-Number-Thm.db	Jun 23, 2018, 12:14:15 AM	32.00 KiB
	Perfect-Number-Thm.gz	Jun 23, 2018, 12:14:15 AM	280 B
	Perron_Frobenius.db	Jun 22, 2018, 11:32:31 PM	176.00 KiB
	Perron_Frobenius.gz	Jun 22, 2018, 11:32:31 PM	13.44 KiB
	pGCL.db	Jun 23, 2018, 12:07:15 AM	208.00 KiB
	pGCL.gz	Jun 23, 2018, 12:07:15 AM	7.85 KiB
	Pi_Calculus.db	Jun 22, 2018, 11:59:50 PM	388.00 KiB
	Pi_Calculus.gz	Jun 22, 2018, 11:59:50 PM	154.74 KiB
	Planarity_Certificates.db	Jun 22, 2018, 11:48:24 PM	532.00 KiB
	Planarity_Certificates.gz	Jun 22, 2018, 11:48:24 PM	9.41 KiB
	PLM.db	Jun 23, 2018, 12:07:29 AM	204.00 KiB
	PLM.gz	Jun 23, 2018, 12:07:29 AM	4.23 KiB
	Polynomial_Factorization.db	Jun 23, 2018, 12:05:09 AM	168.00 KiB
	Polynomial_Factorization.gz	Jun 23, 2018, 12:05:09 AM	1.60 KiB
	Polynomial_Interpolation.db	Jun 23, 2018, 12:09:02 AM	124.00 KiB
	Polynomial_Interpolation.gz	Jun 23, 2018, 12:09:02 AM	2.63 KiB
	Polynomials.db	Jun 23, 2018, 8:52:23 PM	348.00 KiB
	Polynomials.gz	Jun 23, 2018, 8:52:23 PM	6.54 KiB
	Pop_Refinement.db	Jun 23, 2018, 12:13:02 AM	52.00 KiB
	Pop_Refinement.gz	Jun 23, 2018, 12:13:02 AM	582 B
	POPLmark-deBruijn.db	Jun 23, 2018, 12:08:52 AM	88.00 KiB
	POPLmark-deBruijn.gz	Jun 23, 2018, 12:08:52 AM	3.64 KiB
	Posix-Lexing.db	Jun 23, 2018, 12:11:23 AM	28.00 KiB
	Posix-Lexing.gz	Jun 23, 2018, 12:11:23 AM	536 B
	Possibilistic_Noninterference.db	Jun 23, 2018, 12:06:02 AM	96.00 KiB
	Possibilistic_Noninterference.gz	Jun 23, 2018, 12:06:02 AM	3.64 KiB
	Pratt_Certificate.db	Jun 23, 2018, 12:09:29 AM	36.00 KiB
	Pratt_Certificate.gz	Jun 23, 2018, 12:09:29 AM	555 B
	Pre_Algebraic_Numbers.db	May 17, 2018, 11:06:54 AM	68.00 KiB
	Pre_Algebraic_Numbers.gz	May 17, 2018, 11:06:54 AM	631 B
	Pre_BZ.db	Jun 22, 2018, 11:22:53 PM	472.00 KiB
	Pre_BZ.gz	Jun 22, 2018, 11:22:53 PM	9.07 KiB
	Pre_Perron_Frobenius.db	May 16, 2018, 4:42:23 PM	956.00 KiB
	Pre_Perron_Frobenius.gz	May 16, 2018, 4:42:23 PM	8.09 KiB
	Pre_Polynomial_Factorization.db	Jun 22, 2018, 11:17:29 PM	124.00 KiB
	Pre_Polynomial_Factorization.gz	Jun 22, 2018, 11:17:29 PM	2.46 KiB
	Presburger-Automata.db	Jun 23, 2018, 12:07:18 AM	88.00 KiB
	Presburger-Automata.gz	Jun 23, 2018, 12:07:18 AM	1.26 KiB
	Prime_Harmonic_Series.db	Jun 22, 2018, 11:52:38 PM	312.00 KiB
	Prime_Harmonic_Series.gz	Jun 22, 2018, 11:52:38 PM	3.84 KiB
	Priority_Queue_Braun.db	Jun 23, 2018, 12:13:35 AM	24.00 KiB
	Priority_Queue_Braun.gz	Jun 23, 2018, 12:13:35 AM	698 B
	Probabilistic_Noninterference.db	Jun 22, 2018, 11:52:41 PM	136.00 KiB
	Probabilistic_Noninterference.gz	Jun 22, 2018, 11:52:41 PM	4.51 KiB
	Probabilistic_System_Zoo.db	Jun 23, 2018, 12:05:05 AM	40.00 KiB
	Probabilistic_System_Zoo.gz	Jun 23, 2018, 12:05:05 AM	2.20 KiB
	Probabilistic_System_Zoo-BNFs.db	Jun 23, 2018, 12:04:09 AM	76.00 KiB
	Probabilistic_System_Zoo-BNFs.gz	Jun 23, 2018, 12:04:09 AM	2.00 KiB
	Probabilistic_System_Zoo-Non_BNFs.db	Jun 23, 2018, 12:05:44 AM	32.00 KiB
	Probabilistic_System_Zoo-Non_BNFs.gz	Jun 23, 2018, 12:05:44 AM	2.32 KiB
	Probabilistic_Timed_Automata.db	Jun 22, 2018, 11:59:15 PM	172.00 KiB
	Probabilistic_Timed_Automata.gz	Jun 22, 2018, 11:59:15 PM	3.94 KiB
	Probabilistic_While.db	Jun 22, 2018, 11:01:32 PM	172.00 KiB
	Probabilistic_While.gz	Jun 22, 2018, 11:01:32 PM	2.05 KiB
	Program-Conflict-Analysis.db	Jun 23, 2018, 12:08:31 AM	128.00 KiB
	Program-Conflict-Analysis.gz	Jun 23, 2018, 12:08:31 AM	1.25 KiB
	Promela.db	Jun 24, 2018, 11:52:53 AM	108.00 KiB
	Promela.gz	Jun 24, 2018, 11:52:53 AM	11.09 KiB
	Proof_Strategy_Language.db	Jun 22, 2018, 11:50:30 PM	36.00 KiB
	Proof_Strategy_Language.gz	Jun 22, 2018, 11:50:30 PM	5.69 KiB
	Propositional_Proof_Systems.db	Jun 22, 2018, 11:54:52 PM	304.00 KiB
	Propositional_Proof_Systems.gz	Jun 22, 2018, 11:54:52 PM	49.49 KiB
	PropResPI.db	Jun 23, 2018, 12:11:05 AM	64.00 KiB
	PropResPI.gz	Jun 23, 2018, 12:11:05 AM	383 B
	Prpu_Maxflow.db	Jun 24, 2018, 11:53:42 AM	124.00 KiB
	Prpu_Maxflow.gz	Jun 24, 2018, 11:53:42 AM	42.78 KiB
	PSemigroupsConvolution.db	Jun 23, 2018, 12:09:58 AM	60.00 KiB
	PSemigroupsConvolution.gz	Jun 23, 2018, 12:09:58 AM	2.06 KiB
	PseudoHoops.db	Jun 22, 2018, 11:57:59 PM	104.00 KiB
	PseudoHoops.gz	Jun 22, 2018, 11:57:59 PM	4.19 KiB
	Psi_Calculi.db	Jun 22, 2018, 11:18:33 PM	508.00 KiB
	Psi_Calculi.gz	Jun 22, 2018, 11:18:33 PM	225.15 KiB
	PTA_library.db	Jun 22, 2018, 11:05:38 PM	32.00 KiB
	PTA_library.gz	Jun 22, 2018, 11:05:38 PM	4.26 KiB
	Ptolemys_Theorem.db	Jun 23, 2018, 12:14:08 AM	24.00 KiB
	Ptolemys_Theorem.gz	Jun 23, 2018, 12:14:08 AM	201 B
	Pure.db	Jun 22, 2018, 10:31:59 PM	40.00 KiB
	Pure.gz	Jun 22, 2018, 10:31:59 PM	79.50 KiB
	QR_Decomposition.db	Jun 22, 2018, 11:36:25 PM	444.00 KiB
	QR_Decomposition.gz	Jun 22, 2018, 11:36:25 PM	61.59 KiB
	Quick_Sort_Cost.db	Jun 22, 2018, 11:05:49 PM	136.00 KiB
	Quick_Sort_Cost.gz	Jun 22, 2018, 11:05:49 PM	2.54 KiB
	Ramsey-Infinite.db	Jun 23, 2018, 12:13:21 AM	28.00 KiB
	Ramsey-Infinite.gz	Jun 23, 2018, 12:13:21 AM	359 B
	Random_BSTs.db	Jun 23, 2018, 12:13:14 AM	48.00 KiB
	Random_BSTs.gz	Jun 23, 2018, 12:13:14 AM	888 B
	Random_Graph_Subgraph_Threshold.db	Jun 23, 2018, 12:12:33 AM	64.00 KiB
	Random_Graph_Subgraph_Threshold.gz	Jun 23, 2018, 12:12:33 AM	3.77 KiB
	Randomised_Social_Choice.db	Jun 22, 2018, 11:06:13 PM	140.00 KiB
	Randomised_Social_Choice.gz	Jun 22, 2018, 11:06:13 PM	3.96 KiB
	Rank_Nullity_Theorem.db	Jun 23, 2018, 12:13:07 AM	64.00 KiB
	Rank_Nullity_Theorem.gz	Jun 23, 2018, 12:13:07 AM	1.56 KiB
	Real_Impl.db	Jun 22, 2018, 11:56:28 PM	176.00 KiB
	Real_Impl.gz	Jun 22, 2018, 11:56:28 PM	4.36 KiB
	Recursion-Theory-I.db	Jun 23, 2018, 12:11:21 AM	132.00 KiB
	Recursion-Theory-I.gz	Jun 23, 2018, 12:11:21 AM	1.31 KiB
	Refine_Imperative_HOL.db	Jun 24, 2018, 11:50:19 AM	456.00 KiB
	Refine_Imperative_HOL.gz	Jun 24, 2018, 11:50:19 AM	122.95 KiB
	Refine_Monadic.db	Jun 24, 2018, 11:36:50 AM	340.00 KiB
	Refine_Monadic.gz	Jun 24, 2018, 11:36:50 AM	10.08 KiB
	RefinementReactive.db	Jun 23, 2018, 12:12:02 AM	52.00 KiB
	RefinementReactive.gz	Jun 23, 2018, 12:12:02 AM	897 B
	Regex_Equivalence_Examples.db	Jun 23, 2018, 12:11:40 AM	24.00 KiB
	Regex_Equivalence_Examples.gz	Jun 23, 2018, 12:11:40 AM	3.19 KiB
	Regex_Equivalence.db	Jun 22, 2018, 10:42:50 PM	172.00 KiB
	Regex_Equivalence.gz	Jun 22, 2018, 10:42:50 PM	10.98 KiB
	Regular_Algebras.db	Jun 23, 2018, 12:00:50 AM	60.00 KiB
	Regular_Algebras.gz	Jun 23, 2018, 12:00:50 AM	4.26 KiB
	Regular-Sets.db	Jun 22, 2018, 10:58:09 PM	80.00 KiB
	Regular-Sets.gz	Jun 22, 2018, 10:58:09 PM	1.49 KiB
	Relation_Algebra.db	Jun 22, 2018, 11:05:25 PM	56.00 KiB
	Relation_Algebra.gz	Jun 22, 2018, 11:05:25 PM	2.90 KiB
	Rep_Fin_Groups.db	Jun 22, 2018, 11:48:23 PM	160.00 KiB
	Rep_Fin_Groups.gz	Jun 22, 2018, 11:48:23 PM	1.49 KiB
	Residuated_Lattices.db	Jun 23, 2018, 12:08:33 AM	56.00 KiB
	Residuated_Lattices.gz	Jun 23, 2018, 12:08:33 AM	1.68 KiB
	Resolution_FOL.db	Jun 23, 2018, 12:03:10 AM	300.00 KiB
	Resolution_FOL.gz	Jun 23, 2018, 12:03:10 AM	5.72 KiB
	Rewriting_Z.db	Jun 23, 2018, 12:08:00 AM	124.00 KiB
	Rewriting_Z.gz	Jun 23, 2018, 12:08:00 AM	2.17 KiB
	Ribbon_Proofs.db	Jun 23, 2018, 12:10:40 AM	68.00 KiB
	Ribbon_Proofs.gz	Jun 23, 2018, 12:10:40 AM	1.52 KiB
	RIPEMD-160-SPARK.db	Jun 23, 2018, 12:14:19 AM	20.00 KiB
	RIPEMD-160-SPARK.gz	Jun 23, 2018, 12:14:19 AM	216 B
	Robbins-Conjecture.db	Jun 23, 2018, 12:11:54 AM	32.00 KiB
	Robbins-Conjecture.gz	Jun 23, 2018, 12:11:54 AM	1.23 KiB
	ROBDD.db	Jun 24, 2018, 11:50:19 AM	88.00 KiB
	ROBDD.gz	Jun 24, 2018, 11:50:19 AM	5.25 KiB
	Root_Balanced_Tree.db	Jun 22, 2018, 11:59:07 PM	160.00 KiB
	Root_Balanced_Tree.gz	Jun 22, 2018, 11:59:07 PM	3.23 KiB
	Routing.db	Jun 24, 2018, 12:11:19 PM	44.00 KiB
	Routing.gz	Jun 24, 2018, 12:11:19 PM	1.11 KiB
	Roy_Floyd_Warshall.db	Jun 23, 2018, 12:14:25 AM	24.00 KiB
	Roy_Floyd_Warshall.gz	Jun 23, 2018, 12:14:25 AM	356 B
	RSAPSS.db	Jun 23, 2018, 12:09:27 AM	64.00 KiB
	RSAPSS.gz	Jun 23, 2018, 12:09:27 AM	1.85 KiB
	SATSolverVerification.db	Jun 22, 2018, 11:58:07 PM	312.00 KiB
	SATSolverVerification.gz	Jun 22, 2018, 11:58:07 PM	1.38 KiB
	SDS_Impossibility.db	Jun 23, 2018, 12:03:59 AM	32.00 KiB
	SDS_Impossibility.gz	Jun 23, 2018, 12:03:59 AM	473 B
	Secondary_Sylow.db	Jun 23, 2018, 12:13:33 AM	48.00 KiB
	Secondary_Sylow.gz	Jun 23, 2018, 12:13:33 AM	2.25 KiB
	Security_Protocol_Refinement.db	Jun 22, 2018, 11:16:35 PM	292.00 KiB
	Security_Protocol_Refinement.gz	Jun 22, 2018, 11:16:35 PM	1.72 KiB
	Selection_Heap_Sort.db	Jun 23, 2018, 12:12:18 AM	52.00 KiB
	Selection_Heap_Sort.gz	Jun 23, 2018, 12:12:18 AM	1.15 KiB
	SenSocialChoice.db	Jun 23, 2018, 12:09:03 AM	64.00 KiB
	SenSocialChoice.gz	Jun 23, 2018, 12:09:03 AM	441 B
	Separata.db	Jun 23, 2018, 12:11:44 AM	52.00 KiB
	Separata.gz	Jun 23, 2018, 12:11:44 AM	1.63 KiB
	Separation_Algebra.db	Jun 23, 2018, 12:10:58 AM	84.00 KiB
	Separation_Algebra.gz	Jun 23, 2018, 12:10:58 AM	3.08 KiB
	Separation_Logic_Imperative_HOL.db	Jun 22, 2018, 11:54:17 PM	148.00 KiB
	Separation_Logic_Imperative_HOL.gz	Jun 22, 2018, 11:54:17 PM	14.75 KiB
	Sepref_Basic.db	Jun 24, 2018, 11:44:52 AM	208.00 KiB
	Sepref_Basic.gz	Jun 24, 2018, 11:44:52 AM	6.89 KiB
	Sepref_IICF.db	Jun 24, 2018, 11:46:52 AM	164.00 KiB
	Sepref_IICF.gz	Jun 24, 2018, 11:46:52 AM	21.59 KiB
	Sepref_Prereq.db	Jun 24, 2018, 11:44:00 AM	208.00 KiB
	Sepref_Prereq.gz	Jun 24, 2018, 11:44:00 AM	9.55 KiB
	SequentInvertibility.db	Jun 23, 2018, 12:04:10 AM	52.00 KiB
	SequentInvertibility.gz	Jun 23, 2018, 12:04:10 AM	39.63 KiB
	Shivers-CFA.db	Jun 23, 2018, 12:08:25 AM	96.00 KiB
	Shivers-CFA.gz	Jun 23, 2018, 12:08:25 AM	10.91 KiB
	ShortestPath.db	Jun 23, 2018, 12:13:45 AM	28.00 KiB
	ShortestPath.gz	Jun 23, 2018, 12:13:45 AM	784 B
	Show.db	Jun 23, 2018, 12:06:38 AM	128.00 KiB
	Show.gz	Jun 23, 2018, 12:06:38 AM	2.22 KiB
	SIFPL.db	Jun 23, 2018, 12:05:05 AM	80.00 KiB
	SIFPL.gz	Jun 23, 2018, 12:05:05 AM	12.41 KiB
	SIFUM_Type_Systems.db	Jun 23, 2018, 12:03:10 AM	92.00 KiB
	SIFUM_Type_Systems.gz	Jun 23, 2018, 12:03:10 AM	7.51 KiB
	Simpl.db	Jun 22, 2018, 10:41:01 PM	492.00 KiB
	Simpl.gz	Jun 22, 2018, 10:41:01 PM	27.40 KiB
	Simple_Firewall.db	Jun 24, 2018, 12:10:51 PM	116.00 KiB
	Simple_Firewall.gz	Jun 24, 2018, 12:10:51 PM	1.40 KiB
	Skew_Heap.db	Jun 23, 2018, 12:14:19 AM	28.00 KiB
	Skew_Heap.gz	Jun 23, 2018, 12:14:19 AM	511 B
	Slicing.db	Jun 22, 2018, 11:00:17 PM	300.00 KiB
	Slicing.gz	Jun 22, 2018, 11:00:17 PM	67.96 KiB
	Sort_Encodings.db	Jun 23, 2018, 12:05:10 AM	112.00 KiB
	Sort_Encodings.gz	Jun 23, 2018, 12:05:10 AM	2.89 KiB
	Source_Coding_Theorem.db	Jun 23, 2018, 12:13:34 AM	28.00 KiB
	Source_Coding_Theorem.gz	Jun 23, 2018, 12:13:34 AM	337 B
	SPARCv8.db	Jun 22, 2018, 11:31:19 PM	196.00 KiB
	SPARCv8.gz	Jun 22, 2018, 11:31:19 PM	2.19 KiB
	Spec_Check.db	Nov 5, 2017, 6:37:16 PM	12.00 KiB
	Spec_Check.gz	Nov 5, 2017, 6:37:16 PM	4.62 KiB
	Special_Function_Bounds.db	Jun 23, 2018, 12:06:06 AM	52.00 KiB
	Special_Function_Bounds.gz	Jun 23, 2018, 12:06:06 AM	468 B
	Splay_Tree.db	Jun 22, 2018, 11:59:32 PM	60.00 KiB
	Splay_Tree.gz	Jun 22, 2018, 11:59:32 PM	2.77 KiB
	Sqrt_Babylonian.db	Jun 22, 2018, 11:07:43 PM	56.00 KiB
	Sqrt_Babylonian.gz	Jun 22, 2018, 11:07:43 PM	652 B
	Stable_Matching.db	Jun 22, 2018, 11:43:05 PM	132.00 KiB
	Stable_Matching.gz	Jun 22, 2018, 11:43:05 PM	1.98 KiB
	Statecharts.db	Jun 23, 2018, 12:02:19 AM	108.00 KiB
	Statecharts.gz	Jun 23, 2018, 12:02:19 AM	1.33 KiB
	Stern_Brocot.db	Jun 23, 2018, 12:06:30 AM	56.00 KiB
	Stern_Brocot.gz	Jun 23, 2018, 12:06:30 AM	3.91 KiB
	Stewart_Apollonius.db	Jun 23, 2018, 12:13:52 AM	36.00 KiB
	Stewart_Apollonius.gz	Jun 23, 2018, 12:13:52 AM	352 B
	Stirling_Formula.db	Jun 22, 2018, 11:05:09 PM	176.00 KiB
	Stirling_Formula.gz	Jun 22, 2018, 11:05:09 PM	3.01 KiB
	Stochastic_Matrices.db	Jun 22, 2018, 11:30:29 PM	816.00 KiB
	Stochastic_Matrices.gz	Jun 22, 2018, 11:30:29 PM	12.52 KiB
	Stone_Algebras.db	Jun 22, 2018, 10:43:06 PM	92.00 KiB
	Stone_Algebras.gz	Jun 22, 2018, 10:43:06 PM	2.42 KiB
	Stone_Kleene_Relation_Algebras.db	Jun 22, 2018, 11:55:55 PM	108.00 KiB
	Stone_Kleene_Relation_Algebras.gz	Jun 22, 2018, 11:55:55 PM	1.38 KiB
	Stone_Relation_Algebras.db	Jun 22, 2018, 10:55:21 PM	92.00 KiB
	Stone_Relation_Algebras.gz	Jun 22, 2018, 10:55:21 PM	1.92 KiB
	Stream_Fusion_Code.db	Jun 23, 2018, 12:11:04 AM	56.00 KiB
	Stream_Fusion_Code.gz	Jun 23, 2018, 12:11:04 AM	3.31 KiB
	Stream-Fusion.db	Jun 23, 2018, 12:12:34 AM	36.00 KiB
	Stream-Fusion.gz	Jun 23, 2018, 12:12:34 AM	632 B
	Strong_Security.db	Jun 23, 2018, 12:11:25 AM	56.00 KiB
	Strong_Security.gz	Jun 23, 2018, 12:11:25 AM	17.91 KiB
	Sturm_Sequences.db	Jun 22, 2018, 11:01:48 PM	80.00 KiB
	Sturm_Sequences.gz	Jun 22, 2018, 11:01:48 PM	836 B
	Sturm_Tarski.db	Jun 23, 2018, 12:10:18 AM	56.00 KiB
	Sturm_Tarski.gz	Jun 23, 2018, 12:10:18 AM	289 B
	Stuttering_Equivalence.db	Jun 23, 2018, 12:13:59 AM	44.00 KiB
	Stuttering_Equivalence.gz	Jun 23, 2018, 12:13:59 AM	2.12 KiB
	Subresultants.db	Jun 22, 2018, 11:19:47 PM	108.00 KiB
	Subresultants.gz	Jun 22, 2018, 11:19:47 PM	1.53 KiB
	SumSquares.db	Jun 23, 2018, 12:12:33 AM	44.00 KiB
	SumSquares.gz	Jun 23, 2018, 12:12:33 AM	340 B
	SuperCalc.db	Jun 23, 2018, 12:06:41 AM	180.00 KiB
	SuperCalc.gz	Jun 23, 2018, 12:06:41 AM	803 B
	Surprise_Paradox.db	Jun 23, 2018, 12:14:11 AM	24.00 KiB
	Surprise_Paradox.gz	Jun 23, 2018, 12:14:11 AM	1.58 KiB
	Tail_Recursive_Functions.db	Jun 23, 2018, 12:13:45 AM	48.00 KiB
	Tail_Recursive_Functions.gz	Jun 23, 2018, 12:13:45 AM	650 B
	Tarskis_Geometry.db	Jun 23, 2018, 12:05:10 AM	240.00 KiB
	Tarskis_Geometry.gz	Jun 23, 2018, 12:05:10 AM	2.75 KiB
	Taylor_Models.db	Jun 22, 2018, 11:50:08 PM	116.00 KiB
	Taylor_Models.gz	Jun 22, 2018, 11:50:07 PM	54.55 KiB
	Timed_Automata.db	Jun 22, 2018, 11:43:12 PM	284.00 KiB
	Timed_Automata.gz	Jun 22, 2018, 11:43:12 PM	2.59 KiB
	TLA.db	Jun 23, 2018, 12:10:45 AM	104.00 KiB
	TLA.gz	Jun 23, 2018, 12:10:45 AM	1.33 KiB
	Topology.db	Jun 23, 2018, 12:13:13 AM	68.00 KiB
	Topology.gz	Jun 23, 2018, 12:13:13 AM	1.65 KiB
	TortoiseHare.db	Jun 23, 2018, 12:13:43 AM	32.00 KiB
	TortoiseHare.gz	Jun 23, 2018, 12:13:43 AM	1.70 KiB
	Transition_Systems_and_Automata.db	Jun 24, 2018, 11:46:43 AM	364.00 KiB
	Transition_Systems_and_Automata.gz	Jun 24, 2018, 11:46:42 AM	13.40 KiB
	Transitive-Closure.db	Jun 24, 2018, 11:50:41 AM	52.00 KiB
	Transitive-Closure.gz	Jun 24, 2018, 11:50:41 AM	800 B
	Transitive-Closure-II.db	Jun 23, 2018, 12:11:40 AM	68.00 KiB
	Transitive-Closure-II.gz	Jun 23, 2018, 12:11:39 AM	1.52 KiB
	Treaps.db	Jun 23, 2018, 8:50:37 PM	64.00 KiB
	Treaps.gz	Jun 23, 2018, 8:50:37 PM	3.31 KiB
	Tree_Decomposition.db	Jun 23, 2018, 12:13:10 AM	56.00 KiB
	Tree_Decomposition.gz	Jun 23, 2018, 12:13:10 AM	605 B
	Tree-Automata.db	Jun 24, 2018, 11:44:25 AM	108.00 KiB
	Tree-Automata.gz	Jun 24, 2018, 11:44:25 AM	27.84 KiB
	Triangle.db	Jun 23, 2018, 12:13:44 AM	28.00 KiB
	Triangle.gz	Jun 23, 2018, 12:13:44 AM	310 B
	Trie.db	Jun 23, 2018, 12:09:27 AM	32.00 KiB
	Trie.gz	Jun 23, 2018, 12:09:27 AM	352 B
	Twelvefold_Way.db	Jun 22, 2018, 11:56:24 PM	176.00 KiB
	Twelvefold_Way.gz	Jun 22, 2018, 11:56:24 PM	1.64 KiB
	Tycon.db	Jun 23, 2018, 12:12:42 AM	84.00 KiB
	Tycon.gz	Jun 23, 2018, 12:12:42 AM	2.41 KiB
	Types_Tableaus_and_Goedels_God.db	Jun 23, 2018, 12:09:20 AM	60.00 KiB
	Types_Tableaus_and_Goedels_God.gz	Jun 23, 2018, 12:09:20 AM	2.20 KiB
	UpDown_Scheme.db	Jun 23, 2018, 12:04:09 AM	252.00 KiB
	UpDown_Scheme.gz	Jun 23, 2018, 12:04:09 AM	4.75 KiB
	UPF_Firewall.db	Jun 22, 2018, 11:54:07 PM	196.00 KiB
	UPF_Firewall.gz	Jun 22, 2018, 11:54:07 PM	4.03 KiB
	UPF.db	Jun 22, 2018, 11:04:29 PM	76.00 KiB
	UPF.gz	Jun 22, 2018, 11:04:29 PM	1.25 KiB
	Valuation.db	Jun 23, 2018, 12:03:08 AM	156.00 KiB
	Valuation.gz	Jun 23, 2018, 12:03:08 AM	1.37 KiB
	VectorSpace.db	Jun 23, 2018, 12:05:56 AM	76.00 KiB
	VectorSpace.gz	Jun 23, 2018, 12:05:56 AM	1.29 KiB
	Verified-Prover.db	Jun 23, 2018, 12:12:54 AM	40.00 KiB
	Verified-Prover.gz	Jun 23, 2018, 12:12:54 AM	1.00 KiB
	VerifyThis2018.db	Jun 24, 2018, 11:49:55 AM	68.00 KiB
	VerifyThis2018.gz	Jun 24, 2018, 11:49:55 AM	30.21 KiB
	Vickrey_Clarke_Groves.db	Jun 22, 2018, 11:52:37 PM	132.00 KiB
	Vickrey_Clarke_Groves.gz	Jun 22, 2018, 11:52:37 PM	795 B
	VolpanoSmith.db	Jun 23, 2018, 12:13:00 AM	44.00 KiB
	VolpanoSmith.gz	Jun 23, 2018, 12:13:00 AM	10.39 KiB
	VTcomp_Lib.db	May 10, 2018, 2:11:37 AM	20.00 KiB
	VTcomp_Lib.gz	May 10, 2018, 2:11:37 AM	8.49 KiB
	WebAssembly.db	Jun 22, 2018, 11:45:56 PM	344.00 KiB
	WebAssembly.gz	Jun 22, 2018, 11:45:56 PM	36.30 KiB
	Weight_Balanced_Trees.db	Jun 23, 2018, 8:50:26 PM	28.00 KiB
	Weight_Balanced_Trees.gz	Jun 23, 2018, 8:50:26 PM	1.16 KiB
	Well_Quasi_Orders.db	Jun 23, 2018, 12:08:36 AM	136.00 KiB
	Well_Quasi_Orders.gz	Jun 23, 2018, 12:08:36 AM	2.87 KiB
	WHATandWHERE_Security.db	Jun 23, 2018, 12:06:39 AM	72.00 KiB
	WHATandWHERE_Security.gz	Jun 23, 2018, 12:06:39 AM	15.64 KiB
	Winding_Number_Eval.db	Jun 22, 2018, 11:58:04 PM	332.00 KiB
	Winding_Number_Eval.gz	Jun 22, 2018, 11:58:04 PM	4.94 KiB
	Word_Lib.db	Jun 24, 2018, 12:04:28 PM	188.00 KiB
	Word_Lib.gz	Jun 24, 2018, 12:04:28 PM	1.74 KiB
	WorkerWrapper.db	Jun 23, 2018, 12:12:14 AM	68.00 KiB
	WorkerWrapper.gz	Jun 23, 2018, 12:12:14 AM	1.04 KiB
	XML.db	Jun 23, 2018, 12:09:54 AM	68.00 KiB
	XML.gz	Jun 23, 2018, 12:09:54 AM	2.33 KiB
	Zeta_Function.db	Jun 23, 2018, 12:11:44 AM	52.00 KiB
	Zeta_Function.gz	Jun 23, 2018, 12:11:44 AM	945 B
(all files in zip)