| HOL.db | May 16, 2020, 12:55:38 AM | 44.00 KiB | |
| HOL.gz | May 16, 2020, 12:55:38 AM | 143.54 KiB | |
| HOL-Algebra.db | May 16, 2020, 1:18:08 AM | 36.00 KiB | |
| HOL-Algebra.gz | May 16, 2020, 1:18:08 AM | 5.91 KiB | |
| HOL-Analysis.db | May 16, 2020, 1:02:01 AM | 68.00 KiB | |
| HOL-Analysis.gz | May 16, 2020, 1:02:01 AM | 29.58 KiB | |
| HOL-Auth.db | May 16, 2020, 1:03:22 AM | 32.00 KiB | |
| HOL-Auth.gz | May 16, 2020, 1:03:22 AM | 16.62 KiB | |
| HOL-Bali.db | May 16, 2020, 1:04:24 AM | 28.00 KiB | |
| HOL-Bali.gz | May 16, 2020, 1:04:24 AM | 15.68 KiB | |
| HOL-Cardinals.db | May 16, 2020, 1:04:33 AM | 20.00 KiB | |
| HOL-Cardinals.gz | May 16, 2020, 1:04:33 AM | 646 B | |
| HOL-Complex_Analysis.db | May 16, 2020, 1:05:10 AM | 24.00 KiB | |
| HOL-Complex_Analysis.gz | May 16, 2020, 1:05:10 AM | 3.93 KiB | |
| HOL-Computational_Algebra.db | May 16, 2020, 1:15:36 AM | 24.00 KiB | |
| HOL-Computational_Algebra.gz | May 16, 2020, 1:15:36 AM | 3.62 KiB | |
| HOL-Corec_Examples.db | May 16, 2020, 1:20:43 AM | 32.00 KiB | |
| HOL-Corec_Examples.gz | May 16, 2020, 1:20:43 AM | 2.90 KiB | |
| HOL-Data_Structures.db | May 16, 2020, 1:08:42 AM | 40.00 KiB | |
| HOL-Data_Structures.gz | May 16, 2020, 1:08:42 AM | 5.18 KiB | |
| HOL-Datatype_Benchmark.db | May 16, 2020, 1:29:48 AM | 48.00 KiB | |
| HOL-Datatype_Benchmark.gz | May 16, 2020, 1:29:48 AM | 1.98 KiB | |
| HOL-Datatype_Examples.db | May 16, 2020, 1:31:11 AM | 28.00 KiB | |
| HOL-Datatype_Examples.gz | May 16, 2020, 1:31:11 AM | 5.89 KiB | |
| HOL-Decision_Procs.db | May 16, 2020, 1:34:55 AM | 52.00 KiB | |
| HOL-Decision_Procs.gz | May 16, 2020, 1:34:54 AM | 7.40 KiB | |
| HOL-Hoare_Parallel.db | May 16, 2020, 1:09:47 AM | 28.00 KiB | |
| HOL-Hoare_Parallel.gz | May 16, 2020, 1:09:47 AM | 10.92 KiB | |
| HOL-Homology.db | May 16, 2020, 1:11:11 AM | 32.00 KiB | |
| HOL-Homology.gz | May 16, 2020, 1:11:11 AM | 7.92 KiB | |
| HOL-IMP.db | May 16, 2020, 1:35:56 AM | 28.00 KiB | |
| HOL-IMP.gz | May 16, 2020, 1:35:56 AM | 22.44 KiB | |
| HOL-Imperative_HOL.db | May 16, 2020, 1:12:05 AM | 28.00 KiB | |
| HOL-Imperative_HOL.gz | May 16, 2020, 1:12:05 AM | 10.01 KiB | |
| HOL-Library.db | May 16, 2020, 1:14:21 AM | 36.00 KiB | |
| HOL-Library.gz | May 16, 2020, 1:14:21 AM | 33.35 KiB | |
| HOL-Metis_Examples.db | May 16, 2020, 1:36:13 AM | 24.00 KiB | |
| HOL-Metis_Examples.gz | May 16, 2020, 1:36:13 AM | 3.68 KiB | |
| HOL-MicroJava.db | May 16, 2020, 1:37:17 AM | 28.00 KiB | |
| HOL-MicroJava.gz | May 16, 2020, 1:37:17 AM | 9.69 KiB | |
| HOL-Nominal.db | May 16, 2020, 1:37:32 AM | 20.00 KiB | |
| HOL-Nominal.gz | May 16, 2020, 1:37:32 AM | 3.83 KiB | |
| HOL-Nominal-Examples.db | May 16, 2020, 1:37:32 AM | 20.00 KiB | |
| Pure.db | May 16, 2020, 12:51:33 AM | 48.00 KiB | |
| Pure.gz | May 16, 2020, 12:51:33 AM | 68.49 KiB | |
|