Artifacts of isabelle-all #928

	Abortable_Linearizable_Modules.db	Mar 14, 2019, 11:10:33 PM	28.00 KiB
	Abortable_Linearizable_Modules.gz	Mar 14, 2019, 11:10:33 PM	826 B
	Abs_Int_ITP2012.db	Mar 14, 2019, 11:16:11 PM	28.00 KiB
	Abs_Int_ITP2012.gz	Mar 14, 2019, 11:16:11 PM	9.04 KiB
	Abstract_Completeness.db	Mar 14, 2019, 11:26:57 PM	20.00 KiB
	Abstract_Completeness.gz	Mar 14, 2019, 11:26:57 PM	1.82 KiB
	Abstract_Soundness.db	Mar 14, 2019, 11:29:31 PM	20.00 KiB
	Abstract_Soundness.gz	Mar 14, 2019, 11:29:31 PM	760 B
	Abstract-Hoare-Logics.db	Mar 14, 2019, 11:31:05 PM	20.00 KiB
	Abstract-Hoare-Logics.gz	Mar 14, 2019, 11:31:05 PM	15.75 KiB
	Abstract-Rewriting.db	Mar 14, 2019, 10:51:03 PM	24.00 KiB
	Abstract-Rewriting.gz	Mar 14, 2019, 10:51:03 PM	2.37 KiB
	Affine_Arithmetic.db	Mar 14, 2019, 10:29:38 PM	64.00 KiB
	Affine_Arithmetic.gz	Mar 14, 2019, 10:29:37 PM	23.63 KiB
	Aggregation_Algebras.db	Mar 14, 2019, 11:12:06 PM	28.00 KiB
	Aggregation_Algebras.gz	Mar 14, 2019, 11:12:06 PM	3.13 KiB
	Akra_Bazzi.db	Mar 14, 2019, 11:13:36 PM	28.00 KiB
	Akra_Bazzi.gz	Mar 14, 2019, 11:13:36 PM	6.41 KiB
	Algebraic_Numbers.db	Mar 14, 2019, 10:36:29 PM	88.00 KiB
	Algebraic_Numbers.gz	Mar 14, 2019, 10:36:29 PM	7.70 KiB
	Algebraic_VCs.db	Mar 14, 2019, 10:49:58 PM	40.00 KiB
	Algebraic_VCs.gz	Mar 14, 2019, 10:49:58 PM	4.69 KiB
	Allen_Calculus.db	Mar 14, 2019, 10:52:15 PM	32.00 KiB
	Allen_Calculus.gz	Mar 14, 2019, 10:52:15 PM	1.73 KiB
	Amortized_Complexity.db	Mar 14, 2019, 11:19:44 PM	28.00 KiB
	Amortized_Complexity.gz	Mar 14, 2019, 11:19:44 PM	3.34 KiB
	AnselmGod.db	Mar 14, 2019, 11:32:21 PM	20.00 KiB
	AnselmGod.gz	Mar 30, 2019, 1:00:31 AM	252 B
	Applicative_Lifting.db	Mar 14, 2019, 11:13:54 PM	24.00 KiB
	Applicative_Lifting.gz	Mar 14, 2019, 11:13:54 PM	4.98 KiB
	Architectural_Design_Patterns.db	Mar 14, 2019, 11:26:44 PM	24.00 KiB
	Architectural_Design_Patterns.gz	Mar 14, 2019, 11:26:44 PM	19.34 KiB
	ArrowImpossibilityGS.db	Mar 14, 2019, 11:31:53 PM	20.00 KiB
	ArrowImpossibilityGS.gz	Mar 14, 2019, 11:31:53 PM	920 B
	Auto2_HOL.db	Mar 14, 2019, 9:58:46 PM	24.00 KiB
	Auto2_HOL.gz	Mar 14, 2019, 9:58:46 PM	29.20 KiB
	Auto2_Imperative_HOL.db	Mar 14, 2019, 10:36:17 PM	48.00 KiB
	Auto2_Imperative_HOL.gz	Mar 14, 2019, 10:36:17 PM	82.77 KiB
	AutoFocus-Stream.db	Mar 14, 2019, 11:21:23 PM	24.00 KiB
	AutoFocus-Stream.gz	Mar 14, 2019, 11:21:23 PM	1.60 KiB
	Automatic_Refinement.db	Mar 14, 2019, 9:58:57 PM	24.00 KiB
	Automatic_Refinement.gz	Mar 14, 2019, 9:58:57 PM	9.84 KiB
	AVL-Trees.db	Mar 14, 2019, 11:30:06 PM	20.00 KiB
	AVL-Trees.gz	Mar 14, 2019, 11:30:06 PM	590 B
	AWN.db	Mar 14, 2019, 11:14:45 PM	28.00 KiB
	AWN.gz	Mar 14, 2019, 11:14:45 PM	3.12 KiB
	AxiomaticCategoryTheory.db	Mar 14, 2019, 11:27:51 PM	20.00 KiB
	AxiomaticCategoryTheory.gz	Mar 14, 2019, 11:27:51 PM	1.57 KiB
	BDD.db	Mar 14, 2019, 11:19:20 PM	28.00 KiB
	BDD.gz	Mar 14, 2019, 11:19:20 PM	1.31 KiB
	Bell_Numbers_Spivey.db	Mar 14, 2019, 11:30:24 PM	20.00 KiB
	Bell_Numbers_Spivey.gz	Mar 14, 2019, 11:30:24 PM	989 B
	Berlekamp_Zassenhaus.db	Mar 14, 2019, 10:27:45 PM	40.00 KiB
	Berlekamp_Zassenhaus.gz	Mar 14, 2019, 10:27:45 PM	5.18 KiB
	Bernoulli.db	Mar 14, 2019, 11:30:20 PM	20.00 KiB
	Bernoulli.gz	Mar 14, 2019, 11:30:20 PM	1.06 KiB
	Bertrands_Postulate.db	Mar 14, 2019, 11:20:45 PM	24.00 KiB
	Bertrands_Postulate.gz	Mar 14, 2019, 11:20:45 PM	2.20 KiB
	BinarySearchTree.db	Mar 14, 2019, 11:32:12 PM	20.00 KiB
	BinarySearchTree.gz	Mar 14, 2019, 11:32:12 PM	557 B
	Binomial-Heaps.db	Mar 14, 2019, 11:29:12 PM	36.00 KiB
	Binomial-Heaps.gz	Mar 14, 2019, 11:29:11 PM	1.38 KiB
	Binomial-Queues.db	Mar 14, 2019, 11:31:12 PM	20.00 KiB
	Binomial-Queues.gz	Mar 14, 2019, 11:31:12 PM	762 B
	BNF_CC.db	Mar 14, 2019, 11:28:12 PM	20.00 KiB
	BNF_CC.gz	Mar 14, 2019, 11:28:12 PM	4.84 KiB
	BNF_Operations.db	Mar 14, 2019, 11:29:43 PM	20.00 KiB
	BNF_Operations.gz	Mar 14, 2019, 11:29:43 PM	2.65 KiB
	Bondy.db	Mar 14, 2019, 11:32:28 PM	20.00 KiB
	Bondy.gz	Mar 14, 2019, 11:32:28 PM	191 B
	Boolean_Expression_Checkers.db	Mar 14, 2019, 11:28:34 PM	20.00 KiB
	Boolean_Expression_Checkers.gz	Mar 14, 2019, 11:28:34 PM	546 B
	Bounded_Deducibility_Security.db	Mar 14, 2019, 11:31:33 PM	20.00 KiB
	Bounded_Deducibility_Security.gz	Mar 14, 2019, 11:31:33 PM	1.03 KiB
	Buchi_Complementation.db	Mar 14, 2019, 11:24:00 PM	24.00 KiB
	Buchi_Complementation.gz	Mar 14, 2019, 11:24:00 PM	645 B
	Budan_Fourier.db	Mar 14, 2019, 11:27:18 PM	20.00 KiB
	Budan_Fourier.gz	Mar 14, 2019, 11:27:18 PM	423 B
	Buffons_Needle.db	Mar 14, 2019, 11:31:45 PM	20.00 KiB
	Buffons_Needle.gz	Mar 14, 2019, 11:31:45 PM	688 B
	Buildings.db	Mar 14, 2019, 11:14:21 PM	28.00 KiB
	Buildings.gz	Mar 14, 2019, 11:14:21 PM	1.77 KiB
	BytecodeLogicJmlTypes.db	Mar 14, 2019, 11:15:22 PM	28.00 KiB
	BytecodeLogicJmlTypes.gz	Mar 14, 2019, 11:15:21 PM	34.21 KiB
	CakeML.db	Mar 14, 2019, 10:32:22 PM	64.00 KiB
	CakeML.gz	Mar 14, 2019, 10:32:22 PM	63.39 KiB
	Call_Arity.db	Mar 14, 2019, 11:20:26 PM	28.00 KiB
	Call_Arity.gz	Mar 14, 2019, 11:20:25 PM	5.66 KiB
	Card_Equiv_Relations.db	Mar 14, 2019, 11:32:30 PM	20.00 KiB
	Card_Equiv_Relations.gz	Mar 14, 2019, 11:32:30 PM	229 B
	Card_Multisets.db	Mar 14, 2019, 11:30:58 PM	20.00 KiB
	Card_Multisets.gz	Mar 14, 2019, 11:30:58 PM	1.75 KiB
	Card_Number_Partitions.db	Mar 14, 2019, 11:32:06 PM	20.00 KiB
	Card_Number_Partitions.gz	Mar 14, 2019, 11:32:06 PM	401 B
	Card_Partitions.db	Mar 14, 2019, 11:31:24 PM	20.00 KiB
	Card_Partitions.gz	Mar 14, 2019, 11:31:24 PM	1.28 KiB
	Cartan_FP.db	Mar 14, 2019, 11:32:20 PM	20.00 KiB
	Cartan_FP.gz	Mar 14, 2019, 11:32:20 PM	404 B
	Case_Labeling.db	Mar 14, 2019, 11:31:41 PM	20.00 KiB
	Case_Labeling.gz	Mar 14, 2019, 11:31:41 PM	3.29 KiB
	Catalan_Numbers.db	Mar 14, 2019, 11:29:54 PM	20.00 KiB
	Catalan_Numbers.gz	Mar 14, 2019, 11:29:54 PM	2.65 KiB
	Category.db	Mar 14, 2019, 11:31:39 PM	20.00 KiB
	Category.gz	Mar 14, 2019, 11:31:39 PM	1.45 KiB
	Category2.db	Mar 14, 2019, 11:29:55 PM	20.00 KiB
	Category2.gz	Mar 14, 2019, 11:29:55 PM	3.21 KiB
	Category3.db	Mar 14, 2019, 10:13:04 PM	68.00 KiB
	Category3.gz	Mar 14, 2019, 10:13:04 PM	3.88 KiB
	Cauchy.db	Mar 14, 2019, 11:13:30 PM	20.00 KiB
	Cauchy.gz	Mar 14, 2019, 11:13:30 PM	588 B
	CAVA_Automata.db	Mar 14, 2019, 10:10:27 PM	24.00 KiB
	CAVA_Automata.gz	Mar 14, 2019, 10:10:27 PM	7.99 KiB
	CAVA_Base.db	Mar 14, 2019, 10:08:22 PM	20.00 KiB
	CAVA_Base.gz	Mar 14, 2019, 10:08:22 PM	3.63 KiB
	CAVA_LTL_Modelchecker.db	Mar 14, 2019, 10:36:06 PM	48.00 KiB
	CAVA_LTL_Modelchecker.gz	Mar 14, 2019, 10:36:05 PM	45.10 KiB
	CAVA_Setup.db	Mar 14, 2019, 10:26:37 PM	96.00 KiB
	CAVA_Setup.gz	Mar 14, 2019, 10:26:36 PM	55.02 KiB
	Cayley_Hamilton.db	Mar 14, 2019, 11:29:32 PM	20.00 KiB
	Cayley_Hamilton.gz	Mar 14, 2019, 11:29:32 PM	1.21 KiB
	CCL.db	Mar 14, 2019, 9:53:12 PM	20.00 KiB
	CCL.gz	Mar 14, 2019, 9:53:12 PM	14.01 KiB
	CCS.db	Mar 14, 2019, 11:28:50 PM	20.00 KiB
	CCS.gz	Mar 14, 2019, 11:28:50 PM	6.51 KiB
	Certification_Monads.db	Mar 14, 2019, 11:31:49 PM	20.00 KiB
	Certification_Monads.gz	Mar 14, 2019, 11:31:49 PM	2.23 KiB
	Chord_Segments.db	Mar 14, 2019, 11:31:45 PM	20.00 KiB
	Chord_Segments.gz	Mar 14, 2019, 11:31:45 PM	349 B
	Circus.db	Mar 14, 2019, 11:24:13 PM	24.00 KiB
	Circus.gz	Mar 14, 2019, 11:24:12 PM	26.21 KiB
	CISC-Kernel.db	Mar 14, 2019, 11:29:41 PM	20.00 KiB
	CISC-Kernel.gz	Mar 14, 2019, 11:29:41 PM	2.35 KiB
	Classes.db	Mar 14, 2019, 11:32:13 PM	20.00 KiB
	Classes.gz	Mar 14, 2019, 11:32:13 PM	727 B
	ClockSynchInst.db	Mar 14, 2019, 11:32:08 PM	20.00 KiB
	ClockSynchInst.gz	Mar 14, 2019, 11:32:08 PM	300 B
	Codegen.db	Mar 14, 2019, 11:17:55 PM	28.00 KiB
	Codegen.gz	Mar 14, 2019, 11:17:55 PM	5.26 KiB
	CofGroups.db	Mar 14, 2019, 11:32:22 PM	20.00 KiB
	CofGroups.gz	Mar 14, 2019, 11:32:22 PM	516 B
	Coinductive_Languages.db	Mar 14, 2019, 11:29:26 PM	20.00 KiB
	Coinductive_Languages.gz	Mar 14, 2019, 11:29:26 PM	2.71 KiB
	Coinductive.db	Mar 14, 2019, 10:59:31 PM	32.00 KiB
	Coinductive.gz	Mar 14, 2019, 10:59:31 PM	7.82 KiB
	Collections_Examples.db	Mar 14, 2019, 10:58:02 PM	72.00 KiB
	Collections_Examples.gz	Mar 14, 2019, 10:58:02 PM	28.89 KiB
	Collections.db	Mar 14, 2019, 10:07:48 PM	48.00 KiB
	Collections.gz	Mar 14, 2019, 10:07:48 PM	40.65 KiB
	Comparison_Sort_Lower_Bound.db	Mar 14, 2019, 11:31:19 PM	20.00 KiB
	Comparison_Sort_Lower_Bound.gz	Mar 14, 2019, 11:31:19 PM	990 B
	Compiling-Exceptions-Correctly.db	Mar 14, 2019, 11:31:47 PM	20.00 KiB
	Compiling-Exceptions-Correctly.gz	Mar 14, 2019, 11:31:47 PM	450 B
	Completeness.db	Mar 14, 2019, 11:29:18 PM	20.00 KiB
	Completeness.gz	Mar 14, 2019, 11:29:18 PM	2.93 KiB
	Complx.db	Mar 14, 2019, 10:43:19 PM	40.00 KiB
	Complx.gz	Mar 14, 2019, 10:43:19 PM	14.20 KiB
	ComponentDependencies.db	Mar 14, 2019, 11:15:57 PM	24.00 KiB
	ComponentDependencies.gz	Mar 14, 2019, 11:15:57 PM	303 B
	Concurrent_Ref_Alg.db	Mar 14, 2019, 11:31:25 PM	20.00 KiB
	Concurrent_Ref_Alg.gz	Mar 14, 2019, 11:31:25 PM	1.19 KiB
	Concurrent_Revisions.db	Mar 14, 2019, 11:23:48 PM	24.00 KiB
	Concurrent_Revisions.gz	Mar 14, 2019, 11:23:48 PM	657 B
	ConcurrentIMP.db	Mar 14, 2019, 11:27:27 PM	20.00 KiB
	ConcurrentIMP.gz	Mar 14, 2019, 11:27:27 PM	1.82 KiB
	Consensus_Refined.db	Mar 14, 2019, 11:26:22 PM	24.00 KiB
	Consensus_Refined.gz	Mar 14, 2019, 11:26:22 PM	3.88 KiB
	Constructive_Cryptography.db	Mar 14, 2019, 10:39:21 PM	40.00 KiB
	Constructive_Cryptography.gz	Mar 14, 2019, 10:39:20 PM	7.65 KiB
	Constructor_Funs.db	Mar 14, 2019, 11:29:47 PM	20.00 KiB
	Constructor_Funs.gz	Mar 14, 2019, 11:29:47 PM	587 B
	Containers.db	Mar 14, 2019, 10:45:11 PM	32.00 KiB
	Containers.gz	Mar 14, 2019, 10:45:11 PM	22.39 KiB
	Containers-Benchmarks.db	Mar 14, 2019, 11:01:46 PM	40.00 KiB
	Containers-Benchmarks.gz	Mar 14, 2019, 11:01:46 PM	35.85 KiB
	Core_DOM.db	Mar 14, 2019, 10:41:54 PM	52.00 KiB
	Core_DOM.gz	Mar 14, 2019, 10:41:54 PM	17.09 KiB
	Corec.db	Mar 14, 2019, 11:16:36 PM	24.00 KiB
	Corec.gz	Mar 14, 2019, 11:16:36 PM	3.53 KiB
	CoreC++.db	Mar 14, 2019, 10:52:19 PM	36.00 KiB
	CoreC++.gz	Mar 14, 2019, 10:52:19 PM	46.30 KiB
	Count_Complex_Roots.db	Mar 14, 2019, 10:50:07 PM	32.00 KiB
	Count_Complex_Roots.gz	Mar 14, 2019, 10:50:07 PM	5.91 KiB
	CRDT.db	Mar 14, 2019, 11:24:25 PM	20.00 KiB
	CRDT.gz	Mar 14, 2019, 11:24:25 PM	1.36 KiB
	CryptHOL.db	Mar 14, 2019, 10:25:13 PM	36.00 KiB
	CryptHOL.gz	Mar 14, 2019, 10:25:13 PM	13.01 KiB
	CryptoBasedCompositionalProperties.db	Mar 14, 2019, 11:30:28 PM	20.00 KiB
	CryptoBasedCompositionalProperties.gz	Mar 14, 2019, 11:30:28 PM	460 B
	CTT.db	Mar 14, 2019, 9:53:11 PM	20.00 KiB
	CTT.gz	Mar 14, 2019, 9:53:11 PM	1.79 KiB
	Cube.db	Mar 14, 2019, 9:53:11 PM	20.00 KiB
	Cube.gz	Mar 14, 2019, 9:53:11 PM	199 B
	CYK.db	Mar 14, 2019, 11:31:42 PM	20.00 KiB
	CYK.gz	Mar 14, 2019, 11:31:42 PM	307 B
	DataRefinementIBP.db	Mar 14, 2019, 11:32:01 PM	20.00 KiB
	DataRefinementIBP.gz	Mar 14, 2019, 11:32:01 PM	1.07 KiB
	Datatype_Order_Generator.db	Mar 14, 2019, 10:52:39 PM	36.00 KiB
	Datatype_Order_Generator.gz	Mar 14, 2019, 10:52:39 PM	6.71 KiB
	Datatypes.db	Mar 14, 2019, 11:02:32 PM	24.00 KiB
	Datatypes.gz	Mar 14, 2019, 11:02:32 PM	5.13 KiB
	Decl_Sem_Fun_PL.db	Mar 14, 2019, 11:25:33 PM	24.00 KiB
	Decl_Sem_Fun_PL.gz	Mar 14, 2019, 11:25:33 PM	13.22 KiB
	Decreasing-Diagrams.db	Mar 14, 2019, 11:28:40 PM	20.00 KiB
	Decreasing-Diagrams.gz	Mar 14, 2019, 11:28:40 PM	438 B
	Decreasing-Diagrams-II.db	Mar 14, 2019, 11:28:57 PM	20.00 KiB
	Decreasing-Diagrams-II.gz	Mar 14, 2019, 11:28:57 PM	1.58 KiB
	Deep_Learning.db	Mar 14, 2019, 10:53:40 PM	44.00 KiB
	Deep_Learning.gz	Mar 14, 2019, 10:53:40 PM	9.76 KiB
	Density_Compiler.db	Mar 14, 2019, 11:07:03 PM	28.00 KiB
	Density_Compiler.gz	Mar 14, 2019, 11:07:03 PM	5.66 KiB
	Dependent_SIFUM_Refinement.db	Mar 14, 2019, 11:00:18 PM	32.00 KiB
	Dependent_SIFUM_Refinement.gz	Mar 14, 2019, 11:00:18 PM	6.79 KiB
	Dependent_SIFUM_Type_Systems.db	Mar 14, 2019, 10:44:02 PM	32.00 KiB
	Dependent_SIFUM_Type_Systems.gz	Mar 14, 2019, 10:44:02 PM	28.03 KiB
	Depth-First-Search.db	Mar 14, 2019, 11:32:26 PM	20.00 KiB
	Depth-First-Search.gz	Mar 14, 2019, 11:32:26 PM	303 B
	Derangements.db	Mar 14, 2019, 11:29:57 PM	20.00 KiB
	Derangements.gz	Mar 14, 2019, 11:29:57 PM	1.87 KiB
	Deriving.db	Mar 14, 2019, 10:38:49 PM	36.00 KiB
	Deriving.gz	Mar 14, 2019, 10:38:49 PM	8.33 KiB
	Descartes_Sign_Rule.db	Mar 14, 2019, 11:32:14 PM	20.00 KiB
	Descartes_Sign_Rule.gz	Mar 14, 2019, 11:32:14 PM	245 B
	DFS_Framework.db	Mar 14, 2019, 10:55:13 PM	36.00 KiB
	DFS_Framework.gz	Mar 14, 2019, 10:55:13 PM	11.10 KiB
	Dict_Construction.db	Mar 14, 2019, 11:22:12 PM	24.00 KiB
	Dict_Construction.gz	Mar 14, 2019, 11:22:12 PM	11.20 KiB
	Differential_Dynamic_Logic.db	Mar 14, 2019, 10:42:49 PM	44.00 KiB
	Differential_Dynamic_Logic.gz	Mar 14, 2019, 10:42:49 PM	20.29 KiB
	Dijkstra_Shortest_Path.db	Mar 14, 2019, 11:17:32 PM	124.00 KiB
	Dijkstra_Shortest_Path.gz	Mar 14, 2019, 11:17:32 PM	30.06 KiB
	Diophantine_Eqns_Lin_Hom.db	Mar 14, 2019, 11:27:29 PM	24.00 KiB
	Diophantine_Eqns_Lin_Hom.gz	Mar 14, 2019, 11:27:29 PM	1.09 KiB
	Dirichlet_L.db	Mar 14, 2019, 11:14:51 PM	28.00 KiB
	Dirichlet_L.gz	Mar 14, 2019, 11:14:51 PM	3.57 KiB
	Dirichlet_Series.db	Mar 14, 2019, 10:37:25 PM	48.00 KiB
	Dirichlet_Series.gz	Mar 14, 2019, 10:37:25 PM	22.13 KiB
	Discrete_Summation.db	Mar 14, 2019, 11:32:10 PM	20.00 KiB
	Discrete_Summation.gz	Mar 14, 2019, 11:32:10 PM	829 B
	DiscretePricing.db	Mar 14, 2019, 11:18:02 PM	28.00 KiB
	DiscretePricing.gz	Mar 14, 2019, 11:18:02 PM	1.03 KiB
	DiskPaxos.db	Mar 14, 2019, 11:25:47 PM	24.00 KiB
	DiskPaxos.gz	Mar 14, 2019, 11:25:47 PM	454 B
	DPT-SAT-Solver.db	Mar 14, 2019, 11:31:42 PM	20.00 KiB
	DPT-SAT-Solver.gz	Mar 14, 2019, 11:31:42 PM	1.69 KiB
	Dynamic_Tables.db	Mar 14, 2019, 11:31:27 PM	20.00 KiB
	Dynamic_Tables.gz	Mar 14, 2019, 11:31:27 PM	557 B
	DynamicArchitectures.db	Mar 14, 2019, 11:24:00 PM	20.00 KiB
	DynamicArchitectures.gz	Mar 14, 2019, 11:24:00 PM	414 B
	E_Transcendental.db	Mar 14, 2019, 10:50:17 PM	32.00 KiB
	E_Transcendental.gz	Mar 14, 2019, 10:50:17 PM	5.33 KiB
	Echelon_Form.db	Mar 14, 2019, 10:21:32 PM	68.00 KiB
	Echelon_Form.gz	Mar 14, 2019, 10:21:32 PM	7.64 KiB
	EdmondsKarp_Maxflow.db	Mar 14, 2019, 11:12:09 PM	24.00 KiB
	EdmondsKarp_Maxflow.gz	Mar 14, 2019, 11:12:09 PM	20.13 KiB
	Efficient-Mergesort.db	Mar 14, 2019, 11:30:39 PM	20.00 KiB
	Efficient-Mergesort.gz	Mar 14, 2019, 11:30:39 PM	401 B
	Eisbach.db	Mar 14, 2019, 11:32:07 PM	20.00 KiB
	Eisbach.gz	Mar 14, 2019, 11:32:07 PM	964 B
	Elliptic_Curves_Group_Law.db	Mar 14, 2019, 11:19:25 PM	28.00 KiB
	Elliptic_Curves_Group_Law.gz	Mar 14, 2019, 11:19:25 PM	2.49 KiB
	Encodability_Process_Calculi.db	Mar 14, 2019, 11:19:21 PM	28.00 KiB
	Encodability_Process_Calculi.gz	Mar 14, 2019, 11:19:21 PM	937 B
	Epistemic_Logic.db	Mar 14, 2019, 11:31:24 PM	20.00 KiB
	Epistemic_Logic.gz	Mar 14, 2019, 11:31:24 PM	462 B
	Ergodic_Theory.db	Mar 14, 2019, 11:12:47 PM	28.00 KiB
	Ergodic_Theory.gz	Mar 14, 2019, 11:12:47 PM	3.10 KiB
	Error_Function.db	Mar 14, 2019, 11:30:05 PM	20.00 KiB
	Error_Function.gz	Mar 14, 2019, 11:30:05 PM	2.75 KiB
	Euler_MacLaurin.db	Mar 14, 2019, 11:28:08 PM	20.00 KiB
	Euler_MacLaurin.gz	Mar 14, 2019, 11:28:08 PM	3.34 KiB
	Euler_Partition.db	Mar 14, 2019, 11:30:23 PM	20.00 KiB
	Euler_Partition.gz	Mar 14, 2019, 11:30:23 PM	1.84 KiB
	Example-Submission.db	Mar 14, 2019, 11:32:30 PM	20.00 KiB
	Example-Submission.gz	Mar 17, 2019, 11:17:36 PM	203 B
	Factored_Transition_System_Bounding.db	Mar 14, 2019, 11:25:14 PM	24.00 KiB
	Factored_Transition_System_Bounding.gz	Mar 14, 2019, 11:25:14 PM	4.22 KiB
	Falling_Factorial_Sum.db	Mar 14, 2019, 11:31:50 PM	20.00 KiB
	Falling_Factorial_Sum.gz	Mar 14, 2019, 11:31:50 PM	1.09 KiB
	Farkas.db	Mar 14, 2019, 11:25:32 PM	20.00 KiB
	Farkas.gz	Mar 14, 2019, 11:25:32 PM	870 B
	Featherweight_OCL.db	Mar 14, 2019, 10:54:57 PM	36.00 KiB
	Featherweight_OCL.gz	Mar 14, 2019, 10:54:56 PM	31.72 KiB
	FeatherweightJava.db	Mar 14, 2019, 11:30:34 PM	20.00 KiB
	FeatherweightJava.gz	Mar 14, 2019, 11:30:34 PM	4.57 KiB
	Fermat3_4.db	Mar 14, 2019, 11:30:21 PM	20.00 KiB
	Fermat3_4.gz	Mar 14, 2019, 11:30:21 PM	362 B
	FFT.db	Mar 14, 2019, 11:32:25 PM	20.00 KiB
	FFT.gz	Mar 14, 2019, 11:32:25 PM	292 B
	FileRefinement.db	Mar 14, 2019, 11:31:03 PM	20.00 KiB
	FileRefinement.gz	Mar 14, 2019, 11:31:03 PM	329 B
	FinFun.db	Mar 14, 2019, 11:31:02 PM	20.00 KiB
	FinFun.gz	Mar 14, 2019, 11:31:02 PM	1.62 KiB
	Finger-Trees.db	Mar 14, 2019, 11:28:47 PM	40.00 KiB
	Finger-Trees.gz	Mar 14, 2019, 11:28:47 PM	1.53 KiB
	Finite_Automata_HF.db	Mar 14, 2019, 11:29:17 PM	20.00 KiB
	Finite_Automata_HF.gz	Mar 14, 2019, 11:29:17 PM	1.31 KiB
	First_Order_Terms.db	Mar 14, 2019, 11:30:56 PM	20.00 KiB
	First_Order_Terms.gz	Mar 14, 2019, 11:30:56 PM	948 B
	First_Welfare_Theorem.db	Mar 14, 2019, 11:31:07 PM	20.00 KiB
	First_Welfare_Theorem.gz	Mar 14, 2019, 11:31:07 PM	862 B
	Fishburn_Impossibility.db	Mar 14, 2019, 11:27:34 PM	24.00 KiB
	Fishburn_Impossibility.gz	Mar 14, 2019, 11:27:34 PM	3.48 KiB
	Fisher_Yates.db	Mar 14, 2019, 11:32:01 PM	20.00 KiB
	Fisher_Yates.gz	Mar 14, 2019, 11:32:01 PM	612 B
	Flow_Networks.db	Mar 14, 2019, 10:41:19 PM	36.00 KiB
	Flow_Networks.gz	Mar 14, 2019, 10:41:19 PM	15.62 KiB
	Floyd_Warshall.db	Mar 14, 2019, 11:29:40 PM	20.00 KiB
	Floyd_Warshall.gz	Mar 14, 2019, 11:29:40 PM	1.64 KiB
	FLP.db	Mar 14, 2019, 11:28:14 PM	20.00 KiB
	FLP.gz	Mar 14, 2019, 11:28:14 PM	1000 B
	Flyspeck-Tame.db	Mar 14, 2019, 11:02:33 PM	32.00 KiB
	Flyspeck-Tame.gz	Mar 14, 2019, 11:02:33 PM	15.85 KiB
	FocusStreamsCaseStudies.db	Mar 14, 2019, 11:27:25 PM	20.00 KiB
	FocusStreamsCaseStudies.gz	Mar 14, 2019, 11:27:25 PM	965 B
	FOL_Harrison.db	Mar 14, 2019, 11:27:56 PM	20.00 KiB
	FOL_Harrison.gz	Mar 14, 2019, 11:27:56 PM	12.18 KiB
	FOL.db	Mar 14, 2019, 9:53:13 PM	20.00 KiB
	FOL.gz	Mar 14, 2019, 9:53:13 PM	11.01 KiB
	FOL-ex.db	Mar 14, 2019, 9:53:23 PM	20.00 KiB
	FOL-ex.gz	Mar 14, 2019, 9:53:23 PM	7.96 KiB
	FOL-Fitting.db	Mar 14, 2019, 11:27:46 PM	20.00 KiB
	FOL-Fitting.gz	Mar 14, 2019, 11:27:46 PM	15.92 KiB
	FOLP.db	Mar 14, 2019, 9:53:08 PM	20.00 KiB
	FOLP.gz	Mar 14, 2019, 9:53:08 PM	4.00 KiB
	FOLP-ex.db	Mar 14, 2019, 9:53:12 PM	20.00 KiB
	FOLP-ex.gz	Mar 14, 2019, 9:53:12 PM	1.65 KiB
	Formal_SSA.db	Mar 14, 2019, 10:33:32 PM	60.00 KiB
	Formal_SSA.gz	Mar 14, 2019, 10:33:32 PM	57.70 KiB
	Formula_Derivatives.db	Mar 14, 2019, 10:15:46 PM	44.00 KiB
	Formula_Derivatives.gz	Mar 14, 2019, 10:15:45 PM	4.83 KiB
	Formula_Derivatives-Examples.db	Mar 14, 2019, 11:24:17 PM	28.00 KiB
	Formula_Derivatives-Examples.gz	Mar 14, 2019, 11:24:17 PM	2.92 KiB
	Free-Boolean-Algebra.db	Mar 14, 2019, 11:32:24 PM	20.00 KiB
	Free-Boolean-Algebra.gz	Mar 14, 2019, 11:32:24 PM	512 B
	Free-Groups.db	Mar 14, 2019, 11:16:35 PM	28.00 KiB
	Free-Groups.gz	Mar 14, 2019, 11:16:35 PM	6.04 KiB
	Functional_Ordered_Resolution_Prover.db	Mar 14, 2019, 11:04:01 PM	36.00 KiB
	Functional_Ordered_Resolution_Prover.gz	Mar 14, 2019, 11:04:01 PM	13.44 KiB
	Functional-Automata.db	Mar 14, 2019, 11:28:29 PM	20.00 KiB
	Functional-Automata.gz	Mar 14, 2019, 11:28:29 PM	1.66 KiB
	Functions.db	Mar 14, 2019, 11:31:57 PM	20.00 KiB
	Functions.gz	Mar 14, 2019, 11:31:57 PM	529 B
	FunWithFunctions.db	Mar 14, 2019, 11:32:23 PM	20.00 KiB
	FunWithFunctions.gz	Mar 14, 2019, 11:32:23 PM	201 B
	FunWithTilings.db	Mar 14, 2019, 11:28:25 PM	20.00 KiB
	FunWithTilings.gz	Mar 14, 2019, 11:28:25 PM	398 B
	Gabow_SCC.db	Mar 14, 2019, 10:58:26 PM	32.00 KiB
	Gabow_SCC.gz	Mar 14, 2019, 10:58:26 PM	5.81 KiB
	Game_Based_Crypto.db	Mar 14, 2019, 11:24:10 PM	24.00 KiB
	Game_Based_Crypto.gz	Mar 14, 2019, 11:24:10 PM	9.48 KiB
	Gauss_Jordan.db	Mar 14, 2019, 11:14:01 PM	60.00 KiB
	Gauss_Jordan.gz	Mar 14, 2019, 11:14:01 PM	5.07 KiB
	Gauss-Jordan-Elim-Fun.db	Mar 14, 2019, 11:32:06 PM	20.00 KiB
	Gauss-Jordan-Elim-Fun.gz	Mar 24, 2019, 4:33:54 PM	268 B
	GenClock.db	Mar 14, 2019, 11:32:06 PM	20.00 KiB
	GenClock.gz	Mar 14, 2019, 11:32:06 PM	276 B
	General-Triangle.db	Mar 14, 2019, 11:32:28 PM	20.00 KiB
	General-Triangle.gz	Mar 14, 2019, 11:32:28 PM	204 B
	Generic_Deriving.db	Mar 14, 2019, 11:19:44 PM	24.00 KiB
	Generic_Deriving.gz	Mar 14, 2019, 11:19:44 PM	3.77 KiB
	GewirthPGCProof.db	Mar 14, 2019, 11:25:01 PM	20.00 KiB
	GewirthPGCProof.gz	Mar 14, 2019, 11:25:01 PM	2.72 KiB
	Girth_Chromatic.db	Mar 14, 2019, 11:16:46 PM	28.00 KiB
	Girth_Chromatic.gz	Mar 14, 2019, 11:16:46 PM	3.65 KiB
	GoedelGod.db	Mar 14, 2019, 11:30:37 PM	20.00 KiB
	GoedelGod.gz	Mar 14, 2019, 11:30:37 PM	254 B
	GPU_Kernel_PL.db	Mar 14, 2019, 11:30:42 PM	20.00 KiB
	GPU_Kernel_PL.gz	Mar 14, 2019, 11:30:42 PM	746 B
	Graph_Saturation.db	Mar 14, 2019, 11:24:55 PM	24.00 KiB
	Graph_Saturation.gz	Mar 14, 2019, 11:24:55 PM	881 B
	Graph_Theory.db	Mar 14, 2019, 11:23:38 PM	24.00 KiB
	Graph_Theory.gz	Mar 14, 2019, 11:23:38 PM	1.68 KiB
	GraphMarkingIBP.db	Mar 14, 2019, 11:28:57 PM	20.00 KiB
	GraphMarkingIBP.gz	Mar 14, 2019, 11:28:57 PM	1.56 KiB
	Green.db	Mar 14, 2019, 11:15:06 PM	28.00 KiB
	Green.gz	Mar 14, 2019, 11:15:06 PM	1.97 KiB
	Groebner_Bases.db	Mar 14, 2019, 10:21:45 PM	64.00 KiB
	Groebner_Bases.gz	Mar 14, 2019, 10:21:45 PM	33.48 KiB
	Gromov_Hyperbolicity.db	Mar 14, 2019, 11:01:06 PM	36.00 KiB
	Gromov_Hyperbolicity.gz	Mar 14, 2019, 11:01:06 PM	6.34 KiB
	Group-Ring-Module.db	Mar 14, 2019, 10:47:28 PM	44.00 KiB
	Group-Ring-Module.gz	Mar 14, 2019, 10:47:28 PM	3.21 KiB
	Haskell.db	Mar 14, 2019, 9:53:11 PM	44.00 KiB
	Haskell.gz	Mar 14, 2019, 9:53:11 PM	936 B
	Heard_Of.db	Mar 14, 2019, 11:25:55 PM	24.00 KiB
	Heard_Of.gz	Mar 14, 2019, 11:25:55 PM	2.97 KiB
	HereditarilyFinite.db	Mar 14, 2019, 10:10:14 PM	20.00 KiB
	HereditarilyFinite.gz	Mar 14, 2019, 10:10:14 PM	980 B
	Hermite.db	Mar 14, 2019, 11:06:22 PM	28.00 KiB
	Hermite.gz	Mar 14, 2019, 11:06:22 PM	668 B
	Hidden_Markov_Models.db	Mar 14, 2019, 11:11:05 PM	28.00 KiB
	Hidden_Markov_Models.gz	Mar 14, 2019, 11:11:05 PM	7.73 KiB
	Higher_Order_Terms.db	Mar 14, 2019, 11:22:50 PM	28.00 KiB
	Higher_Order_Terms.gz	Mar 14, 2019, 11:22:49 PM	10.67 KiB
	Hoare_Time.db	Mar 14, 2019, 11:09:23 PM	32.00 KiB
	Hoare_Time.gz	Mar 14, 2019, 11:09:23 PM	63.09 KiB
	HOL.db	Mar 14, 2019, 9:57:47 PM	48.00 KiB
	HOL.gz	Mar 14, 2019, 9:57:47 PM	146.87 KiB
	HOL-Algebra.db	Mar 14, 2019, 10:07:49 PM	36.00 KiB
	HOL-Algebra.gz	Mar 14, 2019, 10:07:49 PM	5.04 KiB
	HOL-Analysis.db	Mar 14, 2019, 10:12:36 PM	116.00 KiB
	HOL-Analysis.gz	Mar 14, 2019, 10:12:36 PM	29.53 KiB
	HOL-Analysis-ex.db	Mar 14, 2019, 11:26:32 PM	20.00 KiB
	HOL-Analysis-ex.gz	Mar 14, 2019, 11:26:32 PM	222 B
	HOL-Auth.db	Mar 14, 2019, 10:55:29 PM	36.00 KiB
	HOL-Auth.gz	Mar 14, 2019, 10:55:29 PM	16.41 KiB
	HOL-Bali.db	Mar 14, 2019, 11:10:32 PM	32.00 KiB
	HOL-Bali.gz	Mar 14, 2019, 11:10:32 PM	15.81 KiB
	HOL-Cardinals.db	Mar 14, 2019, 11:16:36 PM	20.00 KiB
	HOL-Cardinals.gz	Mar 14, 2019, 11:16:36 PM	743 B
	HOLCF.db	Mar 14, 2019, 11:02:39 PM	24.00 KiB
	HOLCF.gz	Mar 14, 2019, 11:02:39 PM	6.07 KiB
	HOLCF-ex.db	Mar 14, 2019, 11:31:54 PM	20.00 KiB
	HOLCF-ex.gz	Mar 14, 2019, 11:31:54 PM	3.04 KiB
	HOLCF-FOCUS.db	Mar 14, 2019, 11:31:52 PM	20.00 KiB
	HOLCF-FOCUS.gz	Mar 14, 2019, 11:31:52 PM	240 B
	HOLCF-IMP.db	Mar 14, 2019, 11:31:13 PM	20.00 KiB
	HOLCF-IMP.gz	Mar 14, 2019, 11:31:13 PM	1.58 KiB
	HOLCF-Library.db	Mar 14, 2019, 11:19:44 PM	20.00 KiB
	HOLCF-Library.gz	Mar 14, 2019, 11:19:44 PM	2.15 KiB
	HOLCF-Prelude.db	Mar 14, 2019, 11:24:40 PM	24.00 KiB
	HOLCF-Prelude.gz	Mar 14, 2019, 11:24:40 PM	6.22 KiB
	HOLCF-Tutorial.db	Mar 14, 2019, 11:28:26 PM	20.00 KiB
	HOLCF-Tutorial.gz	Mar 14, 2019, 11:28:26 PM	2.07 KiB
	HOL-Codegenerator_Test.db	Mar 14, 2019, 10:28:37 PM	44.00 KiB
	HOL-Codegenerator_Test.gz	Mar 14, 2019, 10:28:37 PM	157.37 KiB
	HOL-Computational_Algebra.db	Mar 14, 2019, 10:05:02 PM	28.00 KiB
	HOL-Computational_Algebra.gz	Mar 14, 2019, 10:05:02 PM	3.31 KiB
	HOL-Corec_Examples.db	Mar 14, 2019, 10:44:17 PM	40.00 KiB
	HOL-Corec_Examples.gz	Mar 14, 2019, 10:44:17 PM	2.91 KiB
	HOL-Data_Structures.db	Mar 14, 2019, 10:05:27 PM	56.00 KiB
	HOL-Data_Structures.gz	Mar 14, 2019, 10:05:27 PM	4.80 KiB
	HOL-Datatype_Examples.db	Mar 14, 2019, 11:03:40 PM	32.00 KiB
	HOL-Datatype_Examples.gz	Mar 14, 2019, 11:03:40 PM	5.58 KiB
	HOL-Decision_Procs.db	Mar 14, 2019, 10:21:11 PM	68.00 KiB
	HOL-Decision_Procs.gz	Mar 14, 2019, 10:21:10 PM	6.51 KiB
	HOL-Eisbach.db	Mar 14, 2019, 11:26:51 PM	20.00 KiB
	HOL-Eisbach.gz	Mar 14, 2019, 11:26:51 PM	12.32 KiB
	HOL-ex.db	Mar 14, 2019, 10:41:57 PM	48.00 KiB
	HOL-ex.gz	Mar 14, 2019, 10:41:57 PM	99.89 KiB
	HOL-Hahn_Banach.db	Mar 14, 2019, 11:31:51 PM	20.00 KiB
	HOL-Hahn_Banach.gz	Mar 14, 2019, 11:31:51 PM	1.02 KiB
	HOL-Hoare_Parallel.db	Mar 14, 2019, 11:05:46 PM	32.00 KiB
	HOL-Hoare_Parallel.gz	Mar 14, 2019, 11:05:46 PM	10.99 KiB
	HOL-Hoare.db	Mar 14, 2019, 11:25:49 PM	20.00 KiB
	HOL-Hoare.gz	Mar 14, 2019, 11:25:49 PM	7.73 KiB
	HOL-IMP.db	Mar 14, 2019, 11:07:53 PM	32.00 KiB
	HOL-IMP.gz	Mar 14, 2019, 11:07:53 PM	22.83 KiB
	HOL-Imperative_HOL.db	Mar 14, 2019, 11:19:35 PM	24.00 KiB
	HOL-Imperative_HOL.gz	Mar 14, 2019, 11:19:35 PM	5.05 KiB
	HOL-Import.db	Mar 14, 2019, 11:32:23 PM	20.00 KiB
	HOL-Import.gz	Mar 14, 2019, 11:32:23 PM	679 B
	HOL-IMPP.db	Mar 14, 2019, 11:31:45 PM	20.00 KiB
	HOL-IMPP.gz	Mar 14, 2019, 11:31:45 PM	1.14 KiB
	HOL-Induct.db	Mar 14, 2019, 11:29:36 PM	20.00 KiB
	HOL-Induct.gz	Mar 14, 2019, 11:29:36 PM	2.18 KiB
	HOL-IOA.db	Mar 14, 2019, 11:32:04 PM	20.00 KiB
	HOL-IOA.gz	Mar 14, 2019, 11:32:04 PM	171 B
	HOL-Isar_Examples.db	Mar 14, 2019, 11:31:52 PM	20.00 KiB
	HOL-Isar_Examples.gz	Mar 14, 2019, 11:31:52 PM	1.36 KiB
	HOL-Lattice.db	Mar 14, 2019, 11:32:13 PM	20.00 KiB
	HOL-Lattice.gz	Mar 14, 2019, 11:32:13 PM	756 B
	HOL-Library.db	Mar 14, 2019, 10:02:58 PM	44.00 KiB
	HOL-Library.gz	Mar 14, 2019, 10:02:58 PM	31.63 KiB
	HOL-Matrix_LP.db	Mar 14, 2019, 11:30:43 PM	20.00 KiB
	HOL-Matrix_LP.gz	Mar 14, 2019, 11:30:43 PM	4.35 KiB
	HOL-Metis_Examples.db	Mar 14, 2019, 11:26:05 PM	24.00 KiB
	HOL-Metis_Examples.gz	Mar 14, 2019, 11:26:05 PM	3.61 KiB
	HOL-MicroJava.db	Mar 14, 2019, 11:07:46 PM	32.00 KiB
	HOL-MicroJava.gz	Mar 14, 2019, 11:07:46 PM	9.63 KiB
	HOL-Mirabelle.db	Mar 14, 2019, 11:29:12 PM	20.00 KiB
	HOL-Mirabelle.gz	Mar 14, 2019, 11:29:12 PM	926 B
	HOL-Mirabelle-ex.db	Mar 14, 2019, 11:29:32 PM	20.00 KiB
	HOL-Mirabelle-ex.gz	Mar 14, 2019, 11:29:32 PM	1.37 KiB
	HOL-Mutabelle.db	Mar 14, 2019, 11:32:25 PM	20.00 KiB
	HOL-Mutabelle.gz	Mar 14, 2019, 11:32:25 PM	1.02 KiB
	HOL-NanoJava.db	Mar 14, 2019, 11:31:24 PM	20.00 KiB
	HOL-NanoJava.gz	Mar 14, 2019, 11:31:24 PM	1.83 KiB
	HOL-Nitpick_Examples.db	Mar 14, 2019, 10:56:42 PM	36.00 KiB
	HOL-Nitpick_Examples.gz	Mar 14, 2019, 10:56:42 PM	57.06 KiB
	HOL-Nominal.db	Mar 14, 2019, 10:14:15 PM	20.00 KiB
	HOL-Nominal.gz	Mar 14, 2019, 10:14:15 PM	3.43 KiB
	HOL-Nominal-Examples.db	Mar 14, 2019, 10:24:42 PM	72.00 KiB
	HOL-Nominal-Examples.gz	Mar 14, 2019, 10:24:41 PM	85.64 KiB
	HOL-Nonstandard_Analysis.db	Mar 14, 2019, 11:30:05 PM	20.00 KiB
	HOL-Nonstandard_Analysis.gz	Mar 14, 2019, 11:30:05 PM	1.72 KiB
	HOL-Nonstandard_Analysis-Examples.db	Mar 14, 2019, 11:32:11 PM	20.00 KiB
	HOL-Nonstandard_Analysis-Examples.gz	Mar 14, 2019, 11:32:11 PM	172 B
	HOL-Number_Theory.db	Mar 14, 2019, 10:11:59 PM	32.00 KiB
	HOL-Number_Theory.gz	Mar 14, 2019, 10:11:59 PM	4.27 KiB
	HOL-ODE-ARCH-COMP.db	Mar 14, 2019, 11:08:34 PM	44.00 KiB
	HOL-ODE-ARCH-COMP.gz	Mar 14, 2019, 11:08:34 PM	3.12 KiB
	HOL-ODE-Examples.db	Mar 14, 2019, 11:07:35 PM	36.00 KiB
	HOL-ODE-Examples.gz	Mar 14, 2019, 11:07:35 PM	288.43 KiB
	HOL-ODE-Numerics.db	Mar 14, 2019, 11:02:03 PM	208.00 KiB
	HOL-ODE-Numerics.gz	Mar 14, 2019, 11:02:02 PM	81.81 KiB
	HOL-Predicate_Compile_Examples.db	Mar 14, 2019, 11:15:45 PM	28.00 KiB
	HOL-Predicate_Compile_Examples.gz	Mar 14, 2019, 11:15:45 PM	36.68 KiB
	HOL-Probability.db	Mar 14, 2019, 10:16:49 PM	40.00 KiB
	HOL-Probability.gz	Mar 14, 2019, 10:16:49 PM	11.29 KiB
	HOL-Probability-ex.db	Mar 14, 2019, 11:30:35 PM	20.00 KiB
	HOL-Probability-ex.gz	Mar 14, 2019, 11:30:35 PM	3.43 KiB
	HOL-Prolog.db	Mar 14, 2019, 11:32:28 PM	20.00 KiB
	HOL-Prolog.gz	Mar 14, 2019, 11:32:28 PM	463 B
	HOL-Proofs.db	Mar 14, 2019, 10:13:34 PM	96.00 KiB
	HOL-Proofs.gz	Mar 14, 2019, 10:13:33 PM	142.27 KiB
	HOL-Proofs-ex.db	Mar 14, 2019, 11:32:21 PM	20.00 KiB
	HOL-Proofs-ex.gz	Mar 14, 2019, 11:32:21 PM	6.72 KiB
	HOL-Proofs-Extraction.db	Mar 14, 2019, 11:02:21 PM	28.00 KiB
	HOL-Proofs-Extraction.gz	Mar 14, 2019, 11:02:21 PM	4.74 KiB
	HOL-Proofs-Lambda.db	Mar 14, 2019, 10:59:40 PM	28.00 KiB
	HOL-Proofs-Lambda.gz	Mar 14, 2019, 10:59:40 PM	3.08 KiB
	HOL-Quickcheck_Examples.db	Mar 14, 2019, 11:04:12 PM	28.00 KiB
	HOL-Quickcheck_Examples.gz	Mar 14, 2019, 11:04:12 PM	6.34 KiB
	HOL-Quotient_Examples.db	Mar 14, 2019, 11:22:33 PM	24.00 KiB
	HOL-Quotient_Examples.gz	Mar 14, 2019, 11:22:33 PM	2.72 KiB
	HOL-Real_Asymp.db	Mar 14, 2019, 11:10:39 PM	32.00 KiB
	HOL-Real_Asymp.gz	Mar 14, 2019, 11:10:39 PM	13.60 KiB
	HOL-Real_Asymp-Manual.db	Mar 14, 2019, 11:32:29 PM	20.00 KiB
	HOL-Real_Asymp-Manual.gz	Mar 14, 2019, 11:32:29 PM	267 B
	HOL-SET_Protocol.db	Mar 14, 2019, 11:21:30 PM	24.00 KiB
	HOL-SET_Protocol.gz	Mar 14, 2019, 11:21:30 PM	2.80 KiB
	HOL-SPARK.db	Mar 14, 2019, 11:27:51 PM	20.00 KiB
	HOL-SPARK.gz	Mar 14, 2019, 11:27:51 PM	1.43 KiB
	HOL-SPARK-Examples.db	Mar 14, 2019, 11:29:24 PM	20.00 KiB
	HOL-SPARK-Examples.gz	Mar 14, 2019, 11:29:24 PM	1.06 KiB
	HOL-SPARK-Manual.db	Mar 14, 2019, 11:31:51 PM	20.00 KiB
	HOL-SPARK-Manual.gz	Mar 14, 2019, 11:31:51 PM	678 B
	HOL-Statespace.db	Mar 14, 2019, 11:27:02 PM	20.00 KiB
	HOL-Statespace.gz	Mar 14, 2019, 11:27:02 PM	1.96 KiB
	HOL-TLA.db	Mar 14, 2019, 11:29:37 PM	20.00 KiB
	HOL-TLA.gz	Mar 14, 2019, 11:29:37 PM	605 B
	HOL-TLA-Buffer.db	Mar 14, 2019, 11:32:27 PM	20.00 KiB
	HOL-TLA-Buffer.gz	Mar 14, 2019, 11:32:27 PM	138 B
	HOL-TLA-Inc.db	Mar 14, 2019, 11:32:13 PM	20.00 KiB
	HOL-TLA-Inc.gz	Mar 14, 2019, 11:32:13 PM	221 B
	HOL-TLA-Memory.db	Mar 14, 2019, 11:30:16 PM	20.00 KiB
	HOL-TLA-Memory.gz	Mar 14, 2019, 11:30:16 PM	799 B
	HOL-TPTP.db	Mar 14, 2019, 11:31:03 PM	20.00 KiB
	HOL-TPTP.gz	Mar 14, 2019, 11:31:03 PM	13.35 KiB
	HOL-Types_To_Sets.db	Mar 14, 2019, 11:29:09 PM	20.00 KiB
	HOL-Types_To_Sets.gz	Mar 14, 2019, 11:29:09 PM	10.03 KiB
	HOL-UNITY.db	Mar 14, 2019, 11:22:16 PM	24.00 KiB
	HOL-UNITY.gz	Mar 14, 2019, 11:22:16 PM	3.53 KiB
	HOL-Unix.db	Mar 14, 2019, 11:31:14 PM	20.00 KiB
	HOL-Unix.gz	Mar 14, 2019, 11:31:14 PM	491 B
	HOL-Word.db	Mar 14, 2019, 9:58:39 PM	24.00 KiB
	HOL-Word.gz	Mar 14, 2019, 9:58:39 PM	4.38 KiB
	HOL-Word-SMT_Examples.db	Mar 14, 2019, 11:12:33 PM	24.00 KiB
	HOL-Word-SMT_Examples.gz	Mar 14, 2019, 11:12:33 PM	1.39 KiB
	HOL-ZF.db	Mar 14, 2019, 11:32:04 PM	20.00 KiB
	HOL-ZF.gz	Mar 14, 2019, 11:32:04 PM	1021 B
	HotelKeyCards.db	Mar 14, 2019, 11:31:34 PM	20.00 KiB
	HotelKeyCards.gz	Mar 14, 2019, 11:31:34 PM	579 B
	How_to_Prove_it.db	Mar 14, 2019, 11:32:30 PM	20.00 KiB
	How_to_Prove_it.gz	Mar 14, 2019, 11:32:30 PM	181 B
	HRB-Slicing.db	Mar 14, 2019, 10:36:22 PM	52.00 KiB
	HRB-Slicing.gz	Mar 14, 2019, 10:36:22 PM	147.11 KiB
	Huffman.db	Mar 14, 2019, 11:30:40 PM	20.00 KiB
	Huffman.gz	Mar 14, 2019, 11:30:40 PM	523 B
	Hybrid_Multi_Lane_Spatial_Logic.db	Mar 14, 2019, 11:22:17 PM	28.00 KiB
	Hybrid_Multi_Lane_Spatial_Logic.gz	Mar 14, 2019, 11:22:17 PM	1.07 KiB
	HyperCTL.db	Mar 14, 2019, 11:30:15 PM	20.00 KiB
	HyperCTL.gz	Mar 14, 2019, 11:30:15 PM	1.73 KiB
	IEEE_Floating_Point.db	Mar 14, 2019, 11:25:33 PM	24.00 KiB
	IEEE_Floating_Point.gz	Mar 14, 2019, 11:25:33 PM	2.77 KiB
	IMAP-CRDT.db	Mar 14, 2019, 11:27:51 PM	20.00 KiB
	IMAP-CRDT.gz	Mar 14, 2019, 11:27:51 PM	432 B
	IMP2.db	Mar 14, 2019, 11:08:30 PM	32.00 KiB
	IMP2.gz	Mar 14, 2019, 11:08:30 PM	52.30 KiB
	Imperative_Insertion_Sort.db	Mar 14, 2019, 11:31:41 PM	32.00 KiB
	Imperative_Insertion_Sort.gz	Mar 14, 2019, 11:31:41 PM	354 B
	Implementation.db	Mar 14, 2019, 11:32:06 PM	20.00 KiB
	Implementation.gz	Mar 14, 2019, 11:32:06 PM	2.26 KiB
	Impossible_Geometry.db	Mar 14, 2019, 11:30:46 PM	20.00 KiB
	Impossible_Geometry.gz	Mar 14, 2019, 11:30:46 PM	527 B
	Incompleteness.db	Mar 14, 2019, 10:21:34 PM	72.00 KiB
	Incompleteness.gz	Mar 14, 2019, 10:21:33 PM	28.57 KiB
	Incredible_Proof_Machine.db	Mar 14, 2019, 11:25:14 PM	24.00 KiB
	Incredible_Proof_Machine.gz	Mar 14, 2019, 11:25:14 PM	4.86 KiB
	Inductive_Confidentiality.db	Mar 14, 2019, 11:29:50 PM	20.00 KiB
	Inductive_Confidentiality.gz	Mar 14, 2019, 11:29:50 PM	2.62 KiB
	InformationFlowSlicing_Inter.db	Mar 14, 2019, 11:27:52 PM	20.00 KiB
	InformationFlowSlicing_Inter.gz	Mar 14, 2019, 11:27:52 PM	10.71 KiB
	InformationFlowSlicing.db	Mar 14, 2019, 11:31:17 PM	20.00 KiB
	InformationFlowSlicing.gz	Mar 14, 2019, 11:31:17 PM	3.43 KiB
	InfPathElimination.db	Mar 14, 2019, 11:01:54 PM	28.00 KiB
	InfPathElimination.gz	Mar 14, 2019, 11:01:54 PM	1.42 KiB
	Integration.db	Mar 14, 2019, 11:30:48 PM	20.00 KiB
	Integration.gz	Mar 14, 2019, 11:30:48 PM	1.32 KiB
	Intro.db	Mar 14, 2019, 9:53:15 PM	20.00 KiB
	Intro.gz	Apr 1, 2019, 11:59:14 PM	108 B
	IOA.db	Mar 14, 2019, 11:27:55 PM	20.00 KiB
	IOA.gz	Mar 14, 2019, 11:27:55 PM	2.58 KiB
	IOA-ABP.db	Mar 14, 2019, 11:31:31 PM	20.00 KiB
	IOA-ABP.gz	Mar 14, 2019, 11:31:31 PM	939 B
	IOA-ex.db	Mar 14, 2019, 11:32:25 PM	20.00 KiB
	IOA-ex.gz	Mar 14, 2019, 11:32:25 PM	121 B
	IOA-NTP.db	Mar 14, 2019, 11:31:06 PM	20.00 KiB
	IOA-NTP.gz	Mar 14, 2019, 11:31:06 PM	10.28 KiB
	IOA-Storage.db	Mar 14, 2019, 11:32:15 PM	20.00 KiB
	IOA-Storage.gz	Mar 14, 2019, 11:32:15 PM	207 B
	IP_Addresses.db	Mar 14, 2019, 10:07:21 PM	44.00 KiB
	IP_Addresses.gz	Mar 14, 2019, 10:07:20 PM	5.89 KiB
	Iptables_Semantics_Examples.db	Mar 14, 2019, 10:22:58 PM	60.00 KiB
	Iptables_Semantics_Examples.gz	Mar 14, 2019, 10:22:58 PM	73.66 KiB
	Iptables_Semantics.db	Mar 14, 2019, 10:13:05 PM	40.00 KiB
	Iptables_Semantics.gz	Mar 14, 2019, 10:13:05 PM	22.10 KiB
	Irrationality_J_Hancl.db	Mar 14, 2019, 11:17:57 PM	24.00 KiB
	Irrationality_J_Hancl.gz	Mar 14, 2019, 11:17:57 PM	3.99 KiB
	Isabelle_Meta_Model.db	Mar 14, 2019, 10:55:30 PM	32.00 KiB
	Isabelle_Meta_Model.gz	Mar 14, 2019, 10:55:30 PM	26.29 KiB
	Isar_Ref.db	Mar 14, 2019, 11:28:20 PM	20.00 KiB
	Isar_Ref.gz	Mar 14, 2019, 11:28:20 PM	7.05 KiB
	JEdit.db	Mar 14, 2019, 11:32:35 PM	20.00 KiB
	JEdit.gz	Mar 14, 2019, 11:32:35 PM	796 B
	Jinja.db	Mar 14, 2019, 10:09:39 PM	44.00 KiB
	Jinja.gz	Mar 14, 2019, 10:09:39 PM	37.84 KiB
	JiveDataStoreModel.db	Mar 14, 2019, 11:29:58 PM	20.00 KiB
	JiveDataStoreModel.gz	Mar 14, 2019, 11:29:58 PM	1.49 KiB
	JNF-AFP-Lib.db	Mar 14, 2019, 10:10:44 PM	32.00 KiB
	JNF-AFP-Lib.gz	Mar 14, 2019, 10:10:44 PM	21.81 KiB
	JNF-HOL-Lib.db	Mar 14, 2019, 10:08:15 PM	20.00 KiB
	JNF-HOL-Lib.gz	Mar 14, 2019, 10:08:15 PM	141 B
	Jordan_Hoelder.db	Mar 14, 2019, 11:30:05 PM	20.00 KiB
	Jordan_Hoelder.gz	Mar 14, 2019, 11:30:05 PM	3.27 KiB
	Jordan_Normal_Form.db	Mar 14, 2019, 10:18:02 PM	52.00 KiB
	Jordan_Normal_Form.gz	Mar 14, 2019, 10:18:02 PM	6.14 KiB
	KAD.db	Mar 14, 2019, 10:55:13 PM	32.00 KiB
	KAD.gz	Mar 14, 2019, 10:55:13 PM	3.54 KiB
	KAT_and_DRA.db	Mar 14, 2019, 10:42:55 PM	24.00 KiB
	KAT_and_DRA.gz	Mar 14, 2019, 10:42:55 PM	2.70 KiB
	KBPs.db	Mar 14, 2019, 10:59:58 PM	76.00 KiB
	KBPs.gz	Mar 14, 2019, 10:59:58 PM	3.72 KiB
	Key_Agreement_Strong_Adversaries.db	Mar 14, 2019, 10:46:00 PM	44.00 KiB
	Key_Agreement_Strong_Adversaries.gz	Mar 14, 2019, 10:46:00 PM	2.93 KiB
	Kleene_Algebra.db	Mar 14, 2019, 10:37:36 PM	24.00 KiB
	Kleene_Algebra.gz	Mar 14, 2019, 10:37:36 PM	3.34 KiB
	Knot_Theory.db	Mar 14, 2019, 11:22:30 PM	28.00 KiB
	Knot_Theory.gz	Mar 14, 2019, 11:22:30 PM	53.88 KiB
	Knuth_Morris_Pratt.db	Mar 14, 2019, 11:27:24 PM	20.00 KiB
	Knuth_Morris_Pratt.gz	Mar 14, 2019, 11:27:24 PM	1.33 KiB
	Koenigsberg_Friendship.db	Mar 14, 2019, 11:21:04 PM	24.00 KiB
	Koenigsberg_Friendship.gz	Mar 14, 2019, 11:21:04 PM	892 B
	Kruskal.db	Mar 14, 2019, 11:25:37 PM	24.00 KiB
	Kruskal.gz	Mar 14, 2019, 11:25:37 PM	2.89 KiB
	Kuratowski_Closure_Complement.db	Mar 14, 2019, 11:27:18 PM	20.00 KiB
	Kuratowski_Closure_Complement.gz	Mar 14, 2019, 11:27:18 PM	765 B
	Lambda_Free_EPO.db	Mar 14, 2019, 11:26:40 PM	24.00 KiB
	Lambda_Free_EPO.gz	Mar 14, 2019, 11:26:40 PM	1.38 KiB
	Lambda_Free_KBOs.db	Mar 14, 2019, 11:12:12 PM	28.00 KiB
	Lambda_Free_KBOs.gz	Mar 14, 2019, 11:12:12 PM	3.85 KiB
	Lambda_Free_RPOs.db	Mar 14, 2019, 11:30:08 PM	20.00 KiB
	Lambda_Free_RPOs.gz	Mar 14, 2019, 11:30:08 PM	1.43 KiB
	LambdaMu.db	Mar 14, 2019, 11:31:00 PM	20.00 KiB
	LambdaMu.gz	Mar 14, 2019, 11:31:00 PM	814 B
	Lam-ml-Normalization.db	Mar 14, 2019, 11:30:26 PM	20.00 KiB
	Lam-ml-Normalization.gz	Mar 14, 2019, 11:30:26 PM	13.88 KiB
	Landau_Symbols.db	Mar 14, 2019, 11:30:53 PM	20.00 KiB
	Landau_Symbols.gz	Mar 14, 2019, 11:30:53 PM	1.48 KiB
	Latin_Square.db	Mar 14, 2019, 11:31:26 PM	20.00 KiB
	Latin_Square.gz	Mar 14, 2019, 11:31:26 PM	488 B
	LatticeProperties.db	Mar 14, 2019, 11:31:58 PM	20.00 KiB
	LatticeProperties.gz	Mar 14, 2019, 11:31:58 PM	1.26 KiB
	Launchbury.db	Mar 14, 2019, 11:08:42 PM	28.00 KiB
	Launchbury.gz	Mar 14, 2019, 11:08:42 PM	17.13 KiB
	Lazy_Case.db	Mar 14, 2019, 11:31:53 PM	20.00 KiB
	Lazy_Case.gz	Mar 14, 2019, 11:31:53 PM	524 B
	Lazy-Lists-II.db	Mar 14, 2019, 11:32:15 PM	20.00 KiB
	Lazy-Lists-II.gz	Mar 14, 2019, 11:32:15 PM	424 B
	LCF.db	Mar 14, 2019, 9:53:10 PM	20.00 KiB
	LCF.gz	Mar 14, 2019, 9:53:10 PM	11.13 KiB
	Lehmer.db	Mar 14, 2019, 11:32:25 PM	20.00 KiB
	Lehmer.gz	Mar 14, 2019, 11:32:25 PM	190 B
	LEM.db	Mar 14, 2019, 10:19:36 PM	24.00 KiB
	LEM.gz	Mar 14, 2019, 10:19:36 PM	2.80 KiB
	Lifting_Definition_Option.db	Mar 14, 2019, 11:32:00 PM	32.00 KiB
	Lifting_Definition_Option.gz	Mar 14, 2019, 11:32:00 PM	251 B
	LightweightJava.db	Mar 14, 2019, 11:21:13 PM	24.00 KiB
	LightweightJava.gz	Mar 14, 2019, 11:21:13 PM	877 B
	Linear_Recurrences_Solver.db	Mar 14, 2019, 10:44:00 PM	44.00 KiB
	Linear_Recurrences_Solver.gz	Mar 14, 2019, 10:44:00 PM	8.11 KiB
	Linear_Recurrences.db	Mar 14, 2019, 11:12:09 PM	28.00 KiB
	Linear_Recurrences.gz	Mar 14, 2019, 11:12:09 PM	15.18 KiB
	LinearQuantifierElim.db	Mar 14, 2019, 11:22:06 PM	24.00 KiB
	LinearQuantifierElim.gz	Mar 14, 2019, 11:22:06 PM	1.48 KiB
	Liouville_Numbers.db	Mar 14, 2019, 11:32:19 PM	20.00 KiB
	Liouville_Numbers.gz	Mar 14, 2019, 11:32:19 PM	651 B
	List_Interleaving.db	Mar 14, 2019, 11:32:07 PM	20.00 KiB
	List_Interleaving.gz	Mar 14, 2019, 11:32:07 PM	282 B
	List_Inversions.db	Mar 14, 2019, 11:29:14 PM	20.00 KiB
	List_Inversions.gz	Mar 14, 2019, 11:29:14 PM	2.00 KiB
	List_Update.db	Mar 14, 2019, 11:13:18 PM	32.00 KiB
	List_Update.gz	Mar 14, 2019, 11:13:18 PM	3.68 KiB
	List-Index.db	Mar 14, 2019, 11:32:13 PM	20.00 KiB
	List-Index.gz	Mar 14, 2019, 11:32:13 PM	354 B
	List-Infinite.db	Mar 14, 2019, 11:11:43 PM	20.00 KiB
	List-Infinite.gz	Mar 14, 2019, 11:11:43 PM	2.78 KiB
	LLL_Basis_Reduction.db	Mar 14, 2019, 10:37:43 PM	76.00 KiB
	LLL_Basis_Reduction.gz	Mar 14, 2019, 10:37:43 PM	13.07 KiB
	LLL_Factorization.db	Mar 14, 2019, 11:16:59 PM	108.00 KiB
	LLL_Factorization.gz	Mar 14, 2019, 11:16:59 PM	1.49 KiB
	Locales.db	Mar 14, 2019, 11:32:18 PM	20.00 KiB
	Locales.gz	Mar 14, 2019, 11:32:18 PM	570 B
	Localization_Ring.db	Mar 14, 2019, 11:25:00 PM	24.00 KiB
	Localization_Ring.gz	Mar 14, 2019, 11:25:00 PM	487 B
	LocalLexing.db	Mar 14, 2019, 11:18:39 PM	28.00 KiB
	LocalLexing.gz	Mar 14, 2019, 11:18:38 PM	1.34 KiB
	Locally-Nameless-Sigma.db	Mar 14, 2019, 11:26:30 PM	24.00 KiB
	Locally-Nameless-Sigma.gz	Mar 14, 2019, 11:26:30 PM	19.79 KiB
	LOFT.db	Mar 14, 2019, 11:01:24 PM	32.00 KiB
	LOFT.gz	Mar 14, 2019, 11:01:24 PM	7.54 KiB
	Logics_ZF.db	Mar 14, 2019, 9:53:39 PM	20.00 KiB
	Logics_ZF.gz	Mar 14, 2019, 9:53:39 PM	447 B
	Logics.db	Mar 14, 2019, 9:53:16 PM	20.00 KiB
	Logics.gz	Apr 1, 2019, 11:59:15 PM	111 B
	Lorenz_Approximation.db	Mar 14, 2019, 11:09:22 PM	44.00 KiB
	Lorenz_Approximation.gz	Mar 14, 2019, 11:09:22 PM	21.88 KiB
	Lorenz_C0.db	Mar 14, 2019, 11:24:22 PM	76.00 KiB
	Lorenz_C0.gz	Mar 14, 2019, 11:24:22 PM	1.85 KiB
	Lorenz_C1.db	Mar 14, 2019, 11:32:23 PM	20.00 KiB
	Lorenz_C1.gz	Mar 14, 2019, 11:32:23 PM	134 B
	Lowe_Ontological_Argument.db	Mar 14, 2019, 11:29:18 PM	20.00 KiB
	Lowe_Ontological_Argument.gz	Mar 14, 2019, 11:29:18 PM	3.46 KiB
	Lower_Semicontinuous.db	Mar 14, 2019, 11:31:37 PM	20.00 KiB
	Lower_Semicontinuous.gz	Mar 14, 2019, 11:31:37 PM	366 B
	Lp.db	Mar 14, 2019, 11:26:06 PM	24.00 KiB
	Lp.gz	Mar 14, 2019, 11:26:06 PM	2.57 KiB
	LTL_to_DRA.db	Mar 14, 2019, 11:09:19 PM	32.00 KiB
	LTL_to_DRA.gz	Mar 14, 2019, 11:09:19 PM	16.01 KiB
	LTL_to_GBA.db	Mar 14, 2019, 10:55:16 PM	36.00 KiB
	LTL_to_GBA.gz	Mar 14, 2019, 10:55:16 PM	7.90 KiB
	LTL.db	Mar 14, 2019, 10:57:21 PM	24.00 KiB
	LTL.gz	Mar 14, 2019, 10:57:21 PM	1.38 KiB
	Main.db	Mar 14, 2019, 11:32:22 PM	20.00 KiB
	Main.gz	Mar 14, 2019, 11:32:22 PM	170 B
	Markov_Models.db	Mar 14, 2019, 10:28:13 PM	32.00 KiB
	Markov_Models.gz	Mar 14, 2019, 10:28:13 PM	6.52 KiB
	Marriage.db	Mar 14, 2019, 11:32:16 PM	20.00 KiB
	Marriage.gz	Mar 14, 2019, 11:32:16 PM	308 B
	Mason_Stothers.db	Mar 14, 2019, 11:32:07 PM	20.00 KiB
	Mason_Stothers.gz	Mar 14, 2019, 11:32:07 PM	577 B
	Matrix_Tensor.db	Mar 14, 2019, 11:13:19 PM	24.00 KiB
	Matrix_Tensor.gz	Mar 14, 2019, 11:13:19 PM	48.14 KiB
	Matrix.db	Mar 14, 2019, 11:07:21 PM	24.00 KiB
	Matrix.gz	Mar 14, 2019, 11:07:21 PM	2.29 KiB
	Matroids.db	Mar 14, 2019, 11:31:33 PM	20.00 KiB
	Matroids.gz	Mar 14, 2019, 11:31:33 PM	329 B
	Max-Card-Matching.db	Mar 14, 2019, 11:32:19 PM	20.00 KiB
	Max-Card-Matching.gz	Mar 14, 2019, 11:32:19 PM	199 B
	Median_Of_Medians_Selection.db	Mar 14, 2019, 11:29:19 PM	20.00 KiB
	Median_Of_Medians_Selection.gz	Mar 14, 2019, 11:29:19 PM	1.81 KiB
	Menger.db	Mar 14, 2019, 11:31:00 PM	20.00 KiB
	Menger.gz	Mar 14, 2019, 11:31:00 PM	894 B
	MFMC_Countable.db	Mar 14, 2019, 11:18:04 PM	28.00 KiB
	MFMC_Countable.gz	Mar 14, 2019, 11:18:04 PM	4.39 KiB
	Minimal_SSA.db	Mar 14, 2019, 11:31:20 PM	20.00 KiB
	Minimal_SSA.gz	Mar 14, 2019, 11:31:20 PM	822 B
	MiniML.db	Mar 14, 2019, 11:30:34 PM	20.00 KiB
	MiniML.gz	Mar 14, 2019, 11:30:34 PM	1.29 KiB
	Minkowskis_Theorem.db	Mar 14, 2019, 11:32:22 PM	20.00 KiB
	Minkowskis_Theorem.gz	Mar 14, 2019, 11:32:22 PM	417 B
	Minsky_Machines.db	Mar 14, 2019, 11:28:58 PM	20.00 KiB
	Minsky_Machines.gz	Mar 14, 2019, 11:28:58 PM	1.49 KiB
	Modal_Logics_for_NTS.db	Mar 14, 2019, 10:51:28 PM	40.00 KiB
	Modal_Logics_for_NTS.gz	Mar 14, 2019, 10:51:28 PM	3.34 KiB
	Modular_Assembly_Kit_Security.db	Mar 14, 2019, 11:26:27 PM	24.00 KiB
	Modular_Assembly_Kit_Security.gz	Mar 14, 2019, 11:26:27 PM	3.09 KiB
	Monad_Memo_DP.db	Mar 14, 2019, 10:58:28 PM	36.00 KiB
	Monad_Memo_DP.gz	Mar 14, 2019, 10:58:28 PM	102.50 KiB
	Monad_Normalisation.db	Mar 14, 2019, 11:32:26 PM	20.00 KiB
	Monad_Normalisation.gz	Mar 14, 2019, 11:32:26 PM	493 B
	MonoBoolTranAlgebra.db	Mar 14, 2019, 11:30:35 PM	20.00 KiB
	MonoBoolTranAlgebra.gz	Mar 14, 2019, 11:30:35 PM	1.92 KiB
	MonoidalCategory.db	Mar 14, 2019, 10:31:14 PM	60.00 KiB
	MonoidalCategory.gz	Mar 14, 2019, 10:31:14 PM	1.35 KiB
	Monomorphic_Monad.db	Mar 14, 2019, 11:23:44 PM	24.00 KiB
	Monomorphic_Monad.gz	Mar 14, 2019, 11:23:44 PM	3.57 KiB
	MSO_Regex_Equivalence.db	Mar 14, 2019, 10:09:57 PM	76.00 KiB
	MSO_Regex_Equivalence.gz	Mar 14, 2019, 10:09:57 PM	6.52 KiB
	MuchAdoAboutTwo.db	Mar 14, 2019, 11:31:36 PM	20.00 KiB
	MuchAdoAboutTwo.gz	Mar 14, 2019, 11:31:36 PM	439 B
	Multirelations.db	Mar 14, 2019, 11:09:30 PM	28.00 KiB
	Multirelations.gz	Mar 14, 2019, 11:09:30 PM	4.21 KiB
	Myhill-Nerode.db	Mar 14, 2019, 11:26:04 PM	24.00 KiB
	Myhill-Nerode.gz	Mar 14, 2019, 11:26:04 PM	3.72 KiB
	Name_Carrying_Type_Inference.db	Mar 14, 2019, 11:28:11 PM	28.00 KiB
	Name_Carrying_Type_Inference.gz	Mar 14, 2019, 11:28:11 PM	811 B
	Nat-Interval-Logic.db	Mar 14, 2019, 11:16:11 PM	24.00 KiB
	Nat-Interval-Logic.gz	Mar 14, 2019, 11:16:11 PM	989 B
	Native_Word.db	Mar 14, 2019, 10:10:39 PM	56.00 KiB
	Native_Word.gz	Mar 14, 2019, 10:10:39 PM	71.87 KiB
	Nested_Multisets_Ordinals.db	Mar 14, 2019, 10:57:54 PM	28.00 KiB
	Nested_Multisets_Ordinals.gz	Mar 14, 2019, 10:57:54 PM	5.79 KiB
	Network_Security_Policy_Verification.db	Mar 14, 2019, 10:04:48 PM	88.00 KiB
	Network_Security_Policy_Verification.gz	Mar 14, 2019, 10:04:48 PM	30.38 KiB
	Neumann_Morgenstern_Utility.db	Mar 14, 2019, 11:29:48 PM	20.00 KiB
	Neumann_Morgenstern_Utility.gz	Mar 14, 2019, 11:29:48 PM	634 B
	Nitpick.db	Mar 14, 2019, 9:53:15 PM	20.00 KiB
	Nitpick.gz	Apr 1, 2019, 11:59:16 PM	111 B
	No_FTL_observers.db	Mar 14, 2019, 10:47:55 PM	32.00 KiB
	No_FTL_observers.gz	Mar 14, 2019, 10:47:55 PM	7.06 KiB
	Nominal2.db	Mar 14, 2019, 10:46:07 PM	24.00 KiB
	Nominal2.gz	Mar 14, 2019, 10:46:07 PM	16.54 KiB
	Noninterference_Concurrent_Composition.db	Mar 14, 2019, 11:30:55 PM	20.00 KiB
	Noninterference_Concurrent_Composition.gz	Mar 14, 2019, 11:30:55 PM	347 B
	Noninterference_CSP.db	Mar 14, 2019, 11:24:35 PM	20.00 KiB
	Noninterference_CSP.gz	Mar 14, 2019, 11:24:35 PM	584 B
	Noninterference_Generic_Unwinding.db	Mar 14, 2019, 11:27:18 PM	20.00 KiB
	Noninterference_Generic_Unwinding.gz	Mar 14, 2019, 11:27:18 PM	308 B
	Noninterference_Inductive_Unwinding.db	Mar 14, 2019, 11:31:24 PM	20.00 KiB
	Noninterference_Inductive_Unwinding.gz	Mar 14, 2019, 11:31:24 PM	703 B
	Noninterference_Ipurge_Unwinding.db	Mar 14, 2019, 11:25:36 PM	20.00 KiB
	Noninterference_Ipurge_Unwinding.gz	Mar 14, 2019, 11:25:35 PM	520 B
	Noninterference_Sequential_Composition.db	Mar 14, 2019, 11:27:13 PM	20.00 KiB
	Noninterference_Sequential_Composition.gz	Mar 14, 2019, 11:27:13 PM	791 B
	NormByEval.db	Mar 14, 2019, 11:26:58 PM	20.00 KiB
	NormByEval.gz	Mar 14, 2019, 11:26:58 PM	810 B
	Octonions.db	Mar 14, 2019, 11:27:37 PM	20.00 KiB
	Octonions.gz	Mar 14, 2019, 11:27:37 PM	1.29 KiB
	Old_Datatype_Show.db	Mar 14, 2019, 11:29:01 PM	20.00 KiB
	Old_Datatype_Show.gz	Mar 14, 2019, 11:29:01 PM	909 B
	Open_Induction.db	Mar 14, 2019, 11:32:18 PM	20.00 KiB
	Open_Induction.gz	Mar 14, 2019, 11:32:18 PM	455 B
	OpSets.db	Mar 14, 2019, 11:27:57 PM	20.00 KiB
	OpSets.gz	Mar 14, 2019, 11:27:57 PM	624 B
	Optics.db	Mar 14, 2019, 11:28:07 PM	20.00 KiB
	Optics.gz	Mar 14, 2019, 11:28:07 PM	1.77 KiB
	Optimal_BST.db	Mar 14, 2019, 11:29:31 PM	20.00 KiB
	Optimal_BST.gz	Mar 14, 2019, 11:29:31 PM	1.40 KiB
	Orbit_Stabiliser.db	Mar 14, 2019, 11:30:24 PM	20.00 KiB
	Orbit_Stabiliser.gz	Mar 14, 2019, 11:30:24 PM	593 B
	Order_Lattice_Props.db	Mar 14, 2019, 11:01:59 PM	24.00 KiB
	Order_Lattice_Props.gz	Mar 14, 2019, 11:01:59 PM	5.65 KiB
	Ordered_Resolution_Prover.db	Mar 14, 2019, 11:22:31 PM	28.00 KiB
	Ordered_Resolution_Prover.gz	Mar 14, 2019, 11:22:31 PM	3.81 KiB
	Ordinal.db	Mar 14, 2019, 10:55:54 PM	20.00 KiB
	Ordinal.gz	Mar 14, 2019, 10:55:54 PM	1.32 KiB
	Ordinals_and_Cardinals.db	Mar 14, 2019, 11:32:30 PM	20.00 KiB
	Ordinals_and_Cardinals.gz	Mar 14, 2019, 11:32:30 PM	220 B
	Ordinary_Differential_Equations.db	Mar 14, 2019, 10:17:00 PM	40.00 KiB
	Ordinary_Differential_Equations.gz	Mar 14, 2019, 10:17:00 PM	12.56 KiB
	Pairing_Heap.db	Mar 14, 2019, 11:32:00 PM	20.00 KiB
	Pairing_Heap.gz	Mar 14, 2019, 11:32:00 PM	739 B
	Paraconsistency.db	Mar 14, 2019, 11:06:56 PM	28.00 KiB
	Paraconsistency.gz	Mar 14, 2019, 11:06:56 PM	268 B
	Parity_Game.db	Mar 14, 2019, 11:15:55 PM	32.00 KiB
	Parity_Game.gz	Mar 14, 2019, 11:15:55 PM	8.34 KiB
	Partial_Function_MR.db	Mar 14, 2019, 11:31:17 PM	20.00 KiB
	Partial_Function_MR.gz	Mar 14, 2019, 11:31:17 PM	684 B
	Partial_Order_Reduction.db	Mar 14, 2019, 11:20:22 PM	28.00 KiB
	Partial_Order_Reduction.gz	Mar 14, 2019, 11:20:22 PM	10.96 KiB
	Password_Authentication_Protocol.db	Mar 14, 2019, 11:14:37 PM	24.00 KiB
	Password_Authentication_Protocol.gz	Mar 14, 2019, 11:14:37 PM	563 B
	PCF.db	Mar 14, 2019, 11:23:04 PM	24.00 KiB
	PCF.gz	Mar 14, 2019, 11:23:04 PM	2.59 KiB
	Pell.db	Mar 14, 2019, 11:28:30 PM	20.00 KiB
	Pell.gz	Mar 14, 2019, 11:28:30 PM	36.43 KiB
	Perfect-Number-Thm.db	Mar 14, 2019, 11:32:17 PM	20.00 KiB
	Perfect-Number-Thm.gz	Mar 14, 2019, 11:32:17 PM	278 B
	Perron_Frobenius.db	Mar 14, 2019, 10:48:46 PM	48.00 KiB
	Perron_Frobenius.gz	Mar 14, 2019, 10:48:46 PM	14.21 KiB
	pGCL.db	Mar 14, 2019, 11:26:12 PM	24.00 KiB
	pGCL.gz	Mar 14, 2019, 11:26:12 PM	7.97 KiB
	Pi_Calculus.db	Mar 14, 2019, 11:20:15 PM	28.00 KiB
	Pi_Calculus.gz	Mar 14, 2019, 11:20:15 PM	160.58 KiB
	Pi_Transcendental.db	Mar 14, 2019, 11:08:44 PM	32.00 KiB
	Pi_Transcendental.gz	Mar 14, 2019, 11:08:43 PM	15.36 KiB
	Planarity_Certificates.db	Mar 14, 2019, 11:01:00 PM	40.00 KiB
	Planarity_Certificates.gz	Mar 14, 2019, 11:01:00 PM	9.56 KiB
	PLM.db	Mar 14, 2019, 11:26:42 PM	24.00 KiB
	PLM.gz	Mar 14, 2019, 11:26:42 PM	3.92 KiB
	Polynomial_Factorization.db	Mar 14, 2019, 11:21:18 PM	24.00 KiB
	Polynomial_Factorization.gz	Mar 14, 2019, 11:21:18 PM	1.62 KiB
	Polynomial_Interpolation.db	Mar 14, 2019, 11:28:37 PM	20.00 KiB
	Polynomial_Interpolation.gz	Mar 14, 2019, 11:28:37 PM	2.72 KiB
	Polynomials.db	Mar 14, 2019, 10:57:35 PM	36.00 KiB
	Polynomials.gz	Mar 14, 2019, 10:57:35 PM	10.15 KiB
	Pop_Refinement.db	Mar 14, 2019, 11:31:12 PM	20.00 KiB
	Pop_Refinement.gz	Mar 14, 2019, 11:31:12 PM	587 B
	POPLmark-deBruijn.db	Mar 14, 2019, 11:28:19 PM	20.00 KiB
	POPLmark-deBruijn.gz	Mar 14, 2019, 11:28:19 PM	3.63 KiB
	Posix-Lexing.db	Mar 14, 2019, 11:28:35 PM	20.00 KiB
	Posix-Lexing.gz	Mar 14, 2019, 11:28:35 PM	530 B
	Possibilistic_Noninterference.db	Mar 14, 2019, 11:23:51 PM	24.00 KiB
	Possibilistic_Noninterference.gz	Mar 14, 2019, 11:23:51 PM	3.65 KiB
	Pratt_Certificate.db	Mar 14, 2019, 11:30:11 PM	20.00 KiB
	Pratt_Certificate.gz	Mar 14, 2019, 11:30:11 PM	859 B
	Pre_BZ.db	Mar 14, 2019, 10:23:03 PM	32.00 KiB
	Pre_BZ.gz	Mar 14, 2019, 10:23:03 PM	9.15 KiB
	Pre_Polynomial_Factorization.db	Mar 14, 2019, 11:18:23 PM	20.00 KiB
	Pre_Polynomial_Factorization.gz	Mar 14, 2019, 11:18:23 PM	2.45 KiB
	Presburger-Automata.db	Mar 14, 2019, 11:26:37 PM	24.00 KiB
	Presburger-Automata.gz	Mar 14, 2019, 11:26:37 PM	1.26 KiB
	Prime_Distribution_Elementary.db	Mar 14, 2019, 11:23:10 PM	24.00 KiB
	Prime_Distribution_Elementary.gz	Mar 14, 2019, 11:23:10 PM	2.36 KiB
	Prime_Harmonic_Series.db	Mar 14, 2019, 11:13:13 PM	32.00 KiB
	Prime_Harmonic_Series.gz	Mar 14, 2019, 11:13:13 PM	4.47 KiB
	Prime_Number_Theorem.db	Mar 14, 2019, 11:24:20 PM	24.00 KiB
	Prime_Number_Theorem.gz	Mar 14, 2019, 11:24:20 PM	1.62 KiB
	Priority_Queue_Braun.db	Mar 14, 2019, 11:26:51 PM	20.00 KiB
	Priority_Queue_Braun.gz	Mar 14, 2019, 11:26:51 PM	775 B
	Probabilistic_Noninterference.db	Mar 14, 2019, 11:12:56 PM	32.00 KiB
	Probabilistic_Noninterference.gz	Mar 14, 2019, 11:12:56 PM	4.65 KiB
	Probabilistic_Prime_Tests.db	Mar 14, 2019, 10:57:01 PM	48.00 KiB
	Probabilistic_Prime_Tests.gz	Mar 14, 2019, 10:57:01 PM	7.31 KiB
	Probabilistic_System_Zoo.db	Mar 14, 2019, 11:21:42 PM	24.00 KiB
	Probabilistic_System_Zoo.gz	Mar 14, 2019, 11:21:42 PM	2.20 KiB
	Probabilistic_System_Zoo-BNFs.db	Mar 14, 2019, 11:28:45 PM	20.00 KiB
	Probabilistic_System_Zoo-BNFs.gz	Mar 14, 2019, 11:28:45 PM	954 B
	Probabilistic_System_Zoo-Non_BNFs.db	Mar 14, 2019, 11:23:16 PM	24.00 KiB
	Probabilistic_System_Zoo-Non_BNFs.gz	Mar 14, 2019, 11:23:16 PM	2.32 KiB
	Probabilistic_Timed_Automata.db	Mar 14, 2019, 10:48:41 PM	40.00 KiB
	Probabilistic_Timed_Automata.gz	Mar 14, 2019, 10:48:41 PM	6.63 KiB
	Probabilistic_While.db	Mar 14, 2019, 10:18:21 PM	24.00 KiB
	Probabilistic_While.gz	Mar 14, 2019, 10:18:21 PM	2.29 KiB
	Prog_Prove.db	Mar 14, 2019, 11:31:39 PM	20.00 KiB
	Prog_Prove.gz	Mar 14, 2019, 11:31:39 PM	679 B
	Program-Conflict-Analysis.db	Mar 14, 2019, 11:27:46 PM	24.00 KiB
	Program-Conflict-Analysis.gz	Mar 14, 2019, 11:27:46 PM	1.26 KiB
	Projective_Geometry.db	Mar 14, 2019, 11:27:10 PM	24.00 KiB
	Projective_Geometry.gz	Mar 14, 2019, 11:27:10 PM	467 B
	Promela.db	Mar 14, 2019, 10:53:29 PM	36.00 KiB
	Promela.gz	Mar 14, 2019, 10:53:29 PM	11.22 KiB
	Proof_Strategy_Language.db	Mar 14, 2019, 10:48:39 PM	32.00 KiB
	Proof_Strategy_Language.gz	Mar 14, 2019, 10:48:39 PM	5.69 KiB
	Propositional_Proof_Systems.db	Mar 14, 2019, 11:11:03 PM	28.00 KiB
	Propositional_Proof_Systems.gz	Mar 14, 2019, 11:11:03 PM	50.77 KiB
	PropResPI.db	Mar 14, 2019, 11:29:01 PM	20.00 KiB
	PropResPI.gz	Mar 14, 2019, 11:29:01 PM	378 B
	Prpu_Maxflow.db	Mar 14, 2019, 10:58:33 PM	32.00 KiB
	Prpu_Maxflow.gz	Mar 14, 2019, 10:58:33 PM	43.82 KiB
	PSemigroupsConvolution.db	Mar 14, 2019, 11:27:45 PM	20.00 KiB
	PSemigroupsConvolution.gz	Mar 14, 2019, 11:27:44 PM	2.07 KiB
	PseudoHoops.db	Mar 14, 2019, 11:05:51 PM	28.00 KiB
	PseudoHoops.gz	Mar 14, 2019, 11:05:51 PM	4.20 KiB
	Psi_Calculi.db	Mar 14, 2019, 10:30:40 PM	72.00 KiB
	Psi_Calculi.gz	Mar 14, 2019, 10:30:39 PM	226.10 KiB
	Ptolemys_Theorem.db	Mar 14, 2019, 11:32:13 PM	20.00 KiB
	Ptolemys_Theorem.gz	Mar 14, 2019, 11:32:13 PM	200 B
	Pure.db	Mar 14, 2019, 9:53:04 PM	20.00 KiB
	Pure.gz	Mar 14, 2019, 9:53:04 PM	84.38 KiB
	QR_Decomposition.db	Mar 14, 2019, 10:52:13 PM	96.00 KiB
	QR_Decomposition.gz	Mar 14, 2019, 10:52:12 PM	8.79 KiB
	Quantales.db	Mar 14, 2019, 11:11:28 PM	28.00 KiB
	Quantales.gz	Mar 14, 2019, 11:11:28 PM	3.25 KiB
	Quaternions.db	Mar 14, 2019, 11:26:37 PM	20.00 KiB
	Quaternions.gz	Mar 14, 2019, 11:26:37 PM	641 B
	Quick_Sort_Cost.db	Mar 14, 2019, 11:24:34 PM	24.00 KiB
	Quick_Sort_Cost.gz	Mar 14, 2019, 11:24:34 PM	2.52 KiB
	Ramsey-Infinite.db	Mar 14, 2019, 11:31:30 PM	20.00 KiB
	Ramsey-Infinite.gz	Mar 14, 2019, 11:31:30 PM	361 B
	Random_BSTs.db	Mar 14, 2019, 11:28:15 PM	20.00 KiB
	Random_BSTs.gz	Mar 14, 2019, 11:28:15 PM	882 B
	Random_Graph_Subgraph_Threshold.db	Mar 14, 2019, 11:30:50 PM	20.00 KiB
	Random_Graph_Subgraph_Threshold.gz	Mar 14, 2019, 11:30:50 PM	3.77 KiB
	Randomised_BSTs.db	Mar 14, 2019, 11:30:30 PM	20.00 KiB
	Randomised_BSTs.gz	Mar 14, 2019, 11:30:30 PM	844 B
	Randomised_Social_Choice.db	Mar 14, 2019, 11:18:59 PM	24.00 KiB
	Randomised_Social_Choice.gz	Mar 14, 2019, 11:18:59 PM	3.98 KiB
	Rank_Nullity_Theorem.db	Mar 14, 2019, 11:30:52 PM	20.00 KiB
	Rank_Nullity_Theorem.gz	Mar 14, 2019, 11:30:52 PM	1.57 KiB
	Real_Impl.db	Mar 14, 2019, 11:19:08 PM	24.00 KiB
	Real_Impl.gz	Mar 14, 2019, 11:19:08 PM	4.27 KiB
	Recursion-Theory-I.db	Mar 14, 2019, 11:30:01 PM	20.00 KiB
	Recursion-Theory-I.gz	Mar 14, 2019, 11:30:01 PM	1.32 KiB
	Refine_Imperative_HOL.db	Mar 14, 2019, 10:47:55 PM	108.00 KiB
	Refine_Imperative_HOL.gz	Mar 14, 2019, 10:47:55 PM	82.58 KiB
	Refine_Monadic.db	Mar 14, 2019, 10:00:43 PM	28.00 KiB
	Refine_Monadic.gz	Mar 14, 2019, 10:00:43 PM	10.32 KiB
	RefinementReactive.db	Mar 14, 2019, 11:30:48 PM	20.00 KiB
	RefinementReactive.gz	Mar 14, 2019, 11:30:48 PM	897 B
	Regex_Equivalence.db	Mar 14, 2019, 11:18:07 PM	32.00 KiB
	Regex_Equivalence.gz	Mar 14, 2019, 11:18:07 PM	6.78 KiB
	Regular_Algebras.db	Mar 14, 2019, 11:11:22 PM	28.00 KiB
	Regular_Algebras.gz	Mar 14, 2019, 11:11:22 PM	4.26 KiB
	Regular-Sets.db	Mar 14, 2019, 11:18:05 PM	24.00 KiB
	Regular-Sets.gz	Mar 14, 2019, 11:18:05 PM	1.51 KiB
	Relation_Algebra.db	Mar 14, 2019, 11:20:33 PM	24.00 KiB
	Relation_Algebra.gz	Mar 14, 2019, 11:20:33 PM	3.11 KiB
	Rep_Fin_Groups.db	Mar 14, 2019, 11:04:07 PM	28.00 KiB
	Rep_Fin_Groups.gz	Mar 14, 2019, 11:04:07 PM	1.50 KiB
	Residuated_Lattices.db	Mar 14, 2019, 11:25:20 PM	24.00 KiB
	Residuated_Lattices.gz	Mar 14, 2019, 11:25:20 PM	1.67 KiB
	Resolution_FOL.db	Mar 14, 2019, 11:11:15 PM	28.00 KiB
	Resolution_FOL.gz	Mar 14, 2019, 11:11:15 PM	5.78 KiB
	Rewriting_Z.db	Mar 14, 2019, 11:26:02 PM	24.00 KiB
	Rewriting_Z.gz	Mar 14, 2019, 11:26:02 PM	2.20 KiB
	Ribbon_Proofs.db	Mar 14, 2019, 11:28:39 PM	20.00 KiB
	Ribbon_Proofs.gz	Mar 14, 2019, 11:28:39 PM	1.52 KiB
	RIPEMD-160-SPARK.db	Mar 14, 2019, 11:32:19 PM	20.00 KiB
	RIPEMD-160-SPARK.gz	Mar 14, 2019, 11:32:19 PM	213 B
	Robbins-Conjecture.db	Mar 14, 2019, 11:30:10 PM	20.00 KiB
	Robbins-Conjecture.gz	Mar 14, 2019, 11:30:10 PM	1.24 KiB
	ROBDD.db	Mar 14, 2019, 11:26:52 PM	24.00 KiB
	ROBDD.gz	Mar 14, 2019, 11:26:52 PM	5.27 KiB
	Root_Balanced_Tree.db	Mar 14, 2019, 11:18:04 PM	28.00 KiB
	Root_Balanced_Tree.gz	Mar 14, 2019, 11:18:04 PM	3.28 KiB
	Routing.db	Mar 14, 2019, 10:08:53 PM	20.00 KiB
	Routing.gz	Mar 14, 2019, 10:08:53 PM	1.11 KiB
	Roy_Floyd_Warshall.db	Mar 14, 2019, 11:32:29 PM	20.00 KiB
	Roy_Floyd_Warshall.gz	Mar 14, 2019, 11:32:29 PM	353 B
	RSAPSS.db	Mar 14, 2019, 11:28:17 PM	20.00 KiB
	RSAPSS.gz	Mar 14, 2019, 11:28:17 PM	1.86 KiB
	SATSolverVerification.db	Mar 14, 2019, 11:19:39 PM	28.00 KiB
	SATSolverVerification.gz	Mar 14, 2019, 11:19:39 PM	1.41 KiB
	SDS_Impossibility.db	Mar 14, 2019, 11:23:08 PM	24.00 KiB
	SDS_Impossibility.gz	Mar 14, 2019, 11:23:08 PM	472 B
	Secondary_Sylow.db	Mar 14, 2019, 11:31:59 PM	20.00 KiB
	Secondary_Sylow.gz	Mar 14, 2019, 11:31:59 PM	2.36 KiB
	Security_Protocol_Refinement.db	Mar 14, 2019, 10:05:03 PM	56.00 KiB
	Security_Protocol_Refinement.gz	Mar 14, 2019, 10:05:02 PM	1.76 KiB
	Selection_Heap_Sort.db	Mar 14, 2019, 11:31:12 PM	20.00 KiB
	Selection_Heap_Sort.gz	Mar 14, 2019, 11:31:12 PM	1.15 KiB
	SenSocialChoice.db	Mar 14, 2019, 11:28:17 PM	20.00 KiB
	SenSocialChoice.gz	Mar 14, 2019, 11:28:17 PM	471 B
	Separata.db	Mar 14, 2019, 11:30:20 PM	20.00 KiB
	Separata.gz	Mar 14, 2019, 11:30:20 PM	1.65 KiB
	Separation_Algebra.db	Mar 14, 2019, 11:29:06 PM	20.00 KiB
	Separation_Algebra.gz	Mar 14, 2019, 11:29:06 PM	3.08 KiB
	Separation_Logic_Imperative_HOL.db	Mar 14, 2019, 11:15:37 PM	28.00 KiB
	Separation_Logic_Imperative_HOL.gz	Mar 14, 2019, 11:15:37 PM	14.55 KiB
	Sepref_Basic.db	Mar 14, 2019, 10:30:38 PM	24.00 KiB
	Sepref_Basic.gz	Mar 14, 2019, 10:30:37 PM	6.91 KiB
	Sepref_IICF.db	Mar 14, 2019, 10:32:15 PM	24.00 KiB
	Sepref_IICF.gz	Mar 14, 2019, 10:32:15 PM	19.22 KiB
	Sepref_Prereq.db	Mar 14, 2019, 10:23:35 PM	24.00 KiB
	Sepref_Prereq.gz	Mar 14, 2019, 10:23:35 PM	9.60 KiB
	SequentInvertibility.db	Mar 14, 2019, 11:22:58 PM	24.00 KiB
	SequentInvertibility.gz	Mar 14, 2019, 11:22:58 PM	39.68 KiB
	Sequents.db	Mar 14, 2019, 9:53:08 PM	20.00 KiB
	Sequents.gz	Mar 14, 2019, 9:53:08 PM	4.29 KiB
	Shivers-CFA.db	Mar 14, 2019, 11:26:05 PM	24.00 KiB
	Shivers-CFA.gz	Mar 14, 2019, 11:26:05 PM	10.83 KiB
	ShortestPath.db	Mar 14, 2019, 11:31:39 PM	20.00 KiB
	ShortestPath.gz	Mar 14, 2019, 11:31:39 PM	774 B
	Show.db	Mar 14, 2019, 11:27:30 PM	20.00 KiB
	Show.gz	Mar 14, 2019, 11:27:30 PM	2.12 KiB
	SIFPL.db	Mar 14, 2019, 11:23:17 PM	24.00 KiB
	SIFPL.gz	Mar 14, 2019, 11:23:17 PM	12.61 KiB
	SIFUM_Type_Systems.db	Mar 14, 2019, 11:20:39 PM	24.00 KiB
	SIFUM_Type_Systems.gz	Mar 14, 2019, 11:20:39 PM	7.45 KiB
	Signature_Groebner.db	Mar 14, 2019, 11:09:28 PM	28.00 KiB
	Signature_Groebner.gz	Mar 14, 2019, 11:09:28 PM	2.47 KiB
	Simpl.db	Mar 14, 2019, 10:45:14 PM	32.00 KiB
	Simpl.gz	Mar 14, 2019, 10:45:14 PM	28.62 KiB
	Simple_Firewall.db	Mar 14, 2019, 10:08:18 PM	24.00 KiB
	Simple_Firewall.gz	Mar 14, 2019, 10:08:18 PM	1.42 KiB
	Simplex.db	Mar 14, 2019, 11:05:00 PM	28.00 KiB
	Simplex.gz	Mar 14, 2019, 11:05:00 PM	8.94 KiB
	Skew_Heap.db	Mar 14, 2019, 11:32:21 PM	20.00 KiB
	Skew_Heap.gz	Mar 14, 2019, 11:32:21 PM	511 B
	Sledgehammer.db	Mar 14, 2019, 9:53:16 PM	20.00 KiB
	Sledgehammer.gz	Apr 1, 2019, 11:59:16 PM	115 B
	Slicing.db	Mar 14, 2019, 10:38:12 PM	52.00 KiB
	Slicing.gz	Mar 14, 2019, 10:38:12 PM	72.07 KiB
	SM_Base.db	Mar 14, 2019, 10:36:13 PM	40.00 KiB
	SM_Base.gz	Mar 14, 2019, 10:36:13 PM	19.98 KiB
	SM.db	Mar 14, 2019, 10:54:27 PM	32.00 KiB
	SM.gz	Mar 14, 2019, 10:54:27 PM	13.60 KiB
	SML.db	Mar 14, 2019, 9:53:12 PM	20.00 KiB
	SML.gz	Apr 1, 2019, 11:59:13 PM	1.57 KiB
	Smooth_Manifolds.db	Mar 14, 2019, 11:21:42 PM	24.00 KiB
	Smooth_Manifolds.gz	Mar 14, 2019, 11:21:42 PM	13.73 KiB
	Sort_Encodings.db	Mar 14, 2019, 11:20:13 PM	24.00 KiB
	Sort_Encodings.gz	Mar 14, 2019, 11:20:13 PM	2.86 KiB
	Source_Coding_Theorem.db	Mar 14, 2019, 11:31:48 PM	20.00 KiB
	Source_Coding_Theorem.gz	Mar 14, 2019, 11:31:48 PM	334 B
	SPARCv8.db	Mar 14, 2019, 10:47:58 PM	40.00 KiB
	SPARCv8.gz	Mar 14, 2019, 10:47:58 PM	2.19 KiB
	Spec_Check.db	Mar 14, 2019, 9:53:07 PM	20.00 KiB
	Spec_Check.gz	Mar 14, 2019, 9:53:07 PM	5.64 KiB
	Special_Function_Bounds.db	Mar 14, 2019, 11:25:00 PM	24.00 KiB
	Special_Function_Bounds.gz	Mar 14, 2019, 11:25:00 PM	473 B
	Splay_Tree.db	Mar 14, 2019, 11:15:16 PM	24.00 KiB
	Splay_Tree.gz	Mar 14, 2019, 11:15:16 PM	2.77 KiB
	Sqrt_Babylonian.db	Mar 14, 2019, 11:14:33 PM	20.00 KiB
	Sqrt_Babylonian.gz	Mar 14, 2019, 11:14:33 PM	651 B
	Stable_Matching.db	Mar 14, 2019, 11:03:34 PM	32.00 KiB
	Stable_Matching.gz	Mar 14, 2019, 11:03:34 PM	1.99 KiB
	Statecharts.db	Mar 14, 2019, 11:21:40 PM	24.00 KiB
	Statecharts.gz	Mar 14, 2019, 11:21:40 PM	1.35 KiB
	Stern_Brocot.db	Mar 14, 2019, 11:20:46 PM	24.00 KiB
	Stern_Brocot.gz	Mar 14, 2019, 11:20:46 PM	3.92 KiB
	Stewart_Apollonius.db	Mar 14, 2019, 11:31:53 PM	20.00 KiB
	Stewart_Apollonius.gz	Mar 14, 2019, 11:31:53 PM	358 B
	Stirling_Formula.db	Mar 14, 2019, 11:25:28 PM	24.00 KiB
	Stirling_Formula.gz	Mar 14, 2019, 11:25:28 PM	2.99 KiB
	Stochastic_Matrices.db	Mar 14, 2019, 10:41:13 PM	48.00 KiB
	Stochastic_Matrices.gz	Mar 14, 2019, 10:41:13 PM	12.83 KiB
	Stone_Algebras.db	Mar 14, 2019, 10:37:19 PM	24.00 KiB
	Stone_Algebras.gz	Mar 14, 2019, 10:37:19 PM	2.42 KiB
	Stone_Kleene_Relation_Algebras.db	Mar 14, 2019, 10:52:15 PM	28.00 KiB
	Stone_Kleene_Relation_Algebras.gz	Mar 14, 2019, 10:52:15 PM	1.37 KiB
	Stone_Relation_Algebras.db	Mar 14, 2019, 10:44:53 PM	24.00 KiB
	Stone_Relation_Algebras.gz	Mar 14, 2019, 10:44:53 PM	1.93 KiB
	Store_Buffer_Reduction.db	Mar 14, 2019, 10:58:57 PM	40.00 KiB
	Store_Buffer_Reduction.gz	Mar 14, 2019, 10:58:57 PM	8.18 KiB
	Stream_Fusion_Code.db	Mar 14, 2019, 11:28:56 PM	20.00 KiB
	Stream_Fusion_Code.gz	Mar 14, 2019, 11:28:56 PM	3.31 KiB
	Stream-Fusion.db	Mar 14, 2019, 11:30:14 PM	20.00 KiB
	Stream-Fusion.gz	Mar 14, 2019, 11:30:14 PM	630 B
	Strong_Security.db	Mar 14, 2019, 11:30:29 PM	20.00 KiB
	Strong_Security.gz	Mar 14, 2019, 11:30:29 PM	18.04 KiB
	Sturm_Sequences.db	Mar 14, 2019, 11:16:33 PM	24.00 KiB
	Sturm_Sequences.gz	Mar 14, 2019, 11:16:33 PM	846 B
	Sturm_Tarski.db	Mar 14, 2019, 11:28:37 PM	20.00 KiB
	Sturm_Tarski.gz	Mar 14, 2019, 11:28:37 PM	284 B
	Stuttering_Equivalence.db	Mar 14, 2019, 11:32:02 PM	20.00 KiB
	Stuttering_Equivalence.gz	Mar 14, 2019, 11:32:02 PM	2.15 KiB
	Subresultants.db	Mar 14, 2019, 10:20:01 PM	28.00 KiB
	Subresultants.gz	Mar 14, 2019, 10:20:01 PM	1.55 KiB
	Sugar.db	Mar 14, 2019, 11:32:27 PM	20.00 KiB
	Sugar.gz	Mar 14, 2019, 11:32:27 PM	312 B
	SumSquares.db	Mar 14, 2019, 11:31:30 PM	20.00 KiB
	SumSquares.gz	Mar 14, 2019, 11:31:30 PM	337 B
	SuperCalc.db	Mar 14, 2019, 11:24:54 PM	24.00 KiB
	SuperCalc.gz	Mar 14, 2019, 11:24:54 PM	810 B
	Surprise_Paradox.db	Mar 14, 2019, 11:32:11 PM	20.00 KiB
	Surprise_Paradox.gz	Mar 14, 2019, 11:32:11 PM	1.57 KiB
	Symmetric_Polynomials.db	Mar 14, 2019, 11:13:47 PM	28.00 KiB
	Symmetric_Polynomials.gz	Mar 14, 2019, 11:13:47 PM	7.94 KiB
	System.db	Mar 14, 2019, 9:53:13 PM	20.00 KiB
	System.gz	Mar 14, 2019, 9:53:13 PM	335 B
	Tail_Recursive_Functions.db	Mar 14, 2019, 11:31:33 PM	20.00 KiB
	Tail_Recursive_Functions.gz	Mar 14, 2019, 11:31:33 PM	643 B
	Tarskis_Geometry.db	Mar 14, 2019, 11:25:17 PM	24.00 KiB
	Tarskis_Geometry.gz	Mar 14, 2019, 11:25:17 PM	2.79 KiB
	Taylor_Models.db	Mar 14, 2019, 11:06:28 PM	32.00 KiB
	Taylor_Models.gz	Mar 14, 2019, 11:06:28 PM	57.72 KiB
	Timed_Automata.db	Mar 14, 2019, 11:00:41 PM	36.00 KiB
	Timed_Automata.gz	Mar 14, 2019, 11:00:41 PM	2.67 KiB
	TLA.db	Mar 14, 2019, 11:29:50 PM	20.00 KiB
	TLA.gz	Mar 14, 2019, 11:29:50 PM	1.35 KiB
	Topology.db	Mar 14, 2019, 11:31:34 PM	20.00 KiB
	Topology.gz	Mar 14, 2019, 11:31:34 PM	1.64 KiB
	TortoiseHare.db	Mar 14, 2019, 11:31:42 PM	20.00 KiB
	TortoiseHare.gz	Mar 14, 2019, 11:31:42 PM	478 B
	Transformer_Semantics.db	Mar 14, 2019, 11:30:42 PM	20.00 KiB
	Transformer_Semantics.gz	Mar 14, 2019, 11:30:42 PM	958 B
	Transition_Systems_and_Automata.db	Mar 14, 2019, 10:49:47 PM	36.00 KiB
	Transition_Systems_and_Automata.gz	Mar 14, 2019, 10:49:47 PM	10.44 KiB
	Transitive-Closure.db	Mar 14, 2019, 11:32:01 PM	20.00 KiB
	Transitive-Closure.gz	Mar 14, 2019, 11:32:01 PM	804 B
	Transitive-Closure-II.db	Mar 14, 2019, 11:29:29 PM	20.00 KiB
	Transitive-Closure-II.gz	Mar 14, 2019, 11:29:29 PM	1.52 KiB
	Treaps.db	Mar 14, 2019, 11:22:37 PM	24.00 KiB
	Treaps.gz	Mar 14, 2019, 11:22:37 PM	3.31 KiB
	Tree_Decomposition.db	Mar 14, 2019, 11:31:23 PM	20.00 KiB
	Tree_Decomposition.gz	Mar 14, 2019, 11:31:23 PM	602 B
	Tree-Automata.db	Mar 14, 2019, 11:23:24 PM	48.00 KiB
	Tree-Automata.gz	Mar 14, 2019, 11:23:24 PM	2.27 KiB
	Triangle.db	Mar 14, 2019, 11:31:56 PM	20.00 KiB
	Triangle.gz	Mar 14, 2019, 11:31:56 PM	307 B
	Trie.db	Mar 14, 2019, 11:26:06 PM	20.00 KiB
	Trie.gz	Mar 14, 2019, 11:26:06 PM	353 B
	Tutorial.db	Mar 14, 2019, 11:27:00 PM	24.00 KiB
	Tutorial.gz	Mar 14, 2019, 11:27:00 PM	5.88 KiB
	Twelvefold_Way.db	Mar 14, 2019, 11:17:25 PM	28.00 KiB
	Twelvefold_Way.gz	Mar 14, 2019, 11:17:25 PM	1.70 KiB
	Tycon.db	Mar 14, 2019, 11:31:08 PM	20.00 KiB
	Tycon.gz	Mar 14, 2019, 11:31:08 PM	2.43 KiB
	Typeclass_Hierarchy.db	Mar 14, 2019, 11:30:54 PM	20.00 KiB
	Typeclass_Hierarchy.gz	Mar 14, 2019, 11:30:54 PM	1.83 KiB
	Types_Tableaus_and_Goedels_God.db	Mar 14, 2019, 11:29:01 PM	20.00 KiB
	Types_Tableaus_and_Goedels_God.gz	Mar 14, 2019, 11:29:01 PM	2.29 KiB
	Universal_Turing_Machine.db	Mar 14, 2019, 10:42:39 PM	48.00 KiB
	Universal_Turing_Machine.gz	Mar 14, 2019, 10:42:39 PM	46.46 KiB
	UpDown_Scheme.db	Mar 14, 2019, 11:24:22 PM	24.00 KiB
	UpDown_Scheme.gz	Mar 14, 2019, 11:24:22 PM	4.98 KiB
	UPF_Firewall.db	Mar 14, 2019, 11:09:46 PM	32.00 KiB
	UPF_Firewall.gz	Mar 14, 2019, 11:09:46 PM	4.13 KiB
	UPF.db	Mar 14, 2019, 11:01:53 PM	24.00 KiB
	UPF.gz	Mar 14, 2019, 11:01:53 PM	1.27 KiB
	UTP.db	Mar 14, 2019, 11:21:32 PM	24.00 KiB
	UTP.gz	Mar 14, 2019, 11:21:32 PM	3.72 KiB
	UTP-Toolkit.db	Mar 14, 2019, 11:16:43 PM	24.00 KiB
	UTP-Toolkit.gz	Mar 14, 2019, 11:16:43 PM	2.89 KiB
	Valuation.db	Mar 14, 2019, 11:23:38 PM	24.00 KiB
	Valuation.gz	Mar 14, 2019, 11:23:38 PM	1.37 KiB
	VectorSpace.db	Mar 14, 2019, 11:24:37 PM	24.00 KiB
	VectorSpace.gz	Mar 14, 2019, 11:24:37 PM	1.33 KiB
	Verified-Prover.db	Mar 14, 2019, 11:31:12 PM	20.00 KiB
	Verified-Prover.gz	Mar 14, 2019, 11:31:12 PM	1023 B
	VerifyThis2018.db	Mar 14, 2019, 11:20:42 PM	60.00 KiB
	VerifyThis2018.gz	Mar 14, 2019, 11:20:42 PM	7.78 KiB
	Vickrey_Clarke_Groves.db	Mar 14, 2019, 11:04:55 PM	32.00 KiB
	Vickrey_Clarke_Groves.gz	Mar 14, 2019, 11:04:55 PM	816 B
	VolpanoSmith.db	Mar 14, 2019, 11:31:01 PM	20.00 KiB
	VolpanoSmith.gz	Mar 14, 2019, 11:31:01 PM	10.12 KiB
	WebAssembly.db	Mar 14, 2019, 11:06:36 PM	56.00 KiB
	WebAssembly.gz	Mar 14, 2019, 11:06:36 PM	7.68 KiB
	Weight_Balanced_Trees.db	Mar 14, 2019, 11:28:52 PM	20.00 KiB
	Weight_Balanced_Trees.gz	Mar 14, 2019, 11:28:52 PM	1.11 KiB
	Well_Quasi_Orders.db	Mar 14, 2019, 11:26:33 PM	24.00 KiB
	Well_Quasi_Orders.gz	Mar 14, 2019, 11:26:33 PM	2.88 KiB
	WHATandWHERE_Security.db	Mar 14, 2019, 11:25:29 PM	24.00 KiB
	WHATandWHERE_Security.gz	Mar 14, 2019, 11:25:29 PM	15.94 KiB
	Winding_Number_Eval.db	Mar 14, 2019, 11:10:29 PM	28.00 KiB
	Winding_Number_Eval.gz	Mar 14, 2019, 11:10:29 PM	5.15 KiB
	Word_Lib.db	Mar 14, 2019, 10:00:45 PM	28.00 KiB
	Word_Lib.gz	Mar 14, 2019, 10:00:44 PM	1.85 KiB
	WorkerWrapper.db	Mar 14, 2019, 11:30:48 PM	20.00 KiB
	WorkerWrapper.gz	Mar 14, 2019, 11:30:48 PM	1.05 KiB
	XML.db	Mar 14, 2019, 11:27:05 PM	20.00 KiB
	XML.gz	Mar 14, 2019, 11:27:05 PM	2.19 KiB
	Zeta_Function.db	Mar 14, 2019, 11:01:16 PM	28.00 KiB
	Zeta_Function.gz	Mar 14, 2019, 11:01:16 PM	4.63 KiB
	ZF.db	Mar 14, 2019, 9:53:33 PM	20.00 KiB
	ZF.gz	Mar 14, 2019, 9:53:33 PM	26.57 KiB
	ZF-AC.db	Mar 14, 2019, 9:53:41 PM	20.00 KiB
	ZF-AC.gz	Mar 14, 2019, 9:53:41 PM	1.52 KiB
	ZF-Coind.db	Mar 14, 2019, 9:53:35 PM	20.00 KiB
	ZF-Coind.gz	Mar 14, 2019, 9:53:35 PM	930 B
	ZF-Constructible.db	Mar 14, 2019, 9:53:50 PM	20.00 KiB
	ZF-Constructible.gz	Mar 14, 2019, 9:53:50 PM	3.68 KiB
	ZF-ex.db	Mar 14, 2019, 9:53:42 PM	20.00 KiB
	ZF-ex.gz	Mar 14, 2019, 9:53:42 PM	1.75 KiB
	ZF-IMP.db	Mar 14, 2019, 9:53:38 PM	20.00 KiB
	ZF-IMP.gz	Mar 14, 2019, 9:53:38 PM	386 B
	ZF-Induct.db	Mar 14, 2019, 9:53:45 PM	20.00 KiB
	ZF-Induct.gz	Mar 14, 2019, 9:53:45 PM	3.30 KiB
	ZF-Resid.db	Mar 14, 2019, 9:53:36 PM	20.00 KiB
	ZF-Resid.gz	Mar 14, 2019, 9:53:36 PM	752 B
	ZF-UNITY.db	Mar 14, 2019, 9:53:54 PM	20.00 KiB
	ZF-UNITY.gz	Mar 14, 2019, 9:53:54 PM	1.75 KiB
(all files in zip)