| HOL.db | Jun 25, 2020, 12:55:52 AM | 832.00 KiB | |
| HOL.gz | Jun 25, 2020, 12:55:50 AM | 123.37 KiB | |
| HOL-Analysis.db | Jun 25, 2020, 1:02:15 AM | 1.59 MiB | |
| HOL-Analysis.gz | Jun 25, 2020, 1:02:12 AM | 15.81 KiB | |
| HOL-Auth.db | Jun 25, 2020, 1:03:41 AM | 128.00 KiB | |
| HOL-Auth.gz | Jun 25, 2020, 1:03:41 AM | 16.32 KiB | |
| HOL-Bali.db | Jun 25, 2020, 1:04:45 AM | 192.00 KiB | |
| HOL-Bali.gz | Jun 25, 2020, 1:04:45 AM | 14.25 KiB | |
| HOL-Cardinals.db | Jun 25, 2020, 1:04:55 AM | 92.00 KiB | |
| HOL-Cardinals.gz | Jun 25, 2020, 1:04:55 AM | 553 B | |
| HOL-Complex_Analysis.db | Jun 25, 2020, 1:04:55 AM | 20.00 KiB | |
| Pure.db | Jun 25, 2020, 12:51:34 AM | 48.00 KiB | |
| Pure.gz | Jun 25, 2020, 12:51:34 AM | 68.61 KiB | |
|