| Filename | Size | Last Modified |
| FM_Conjectures_LO.csv | 616.7 kb | Sat, 07 Apr 2018 10:38:36 GMT |
| FM_Sources_LO.csv | 10093.3 kb | Sat, 07 Apr 2018 10:40:21 GMT |
| acunetix.txt | 0.0 kb | Wed, 28 Dec 2016 12:53:57 GMT |
| conjectures.sql | 0.7 kb | Fri, 23 Sep 2016 10:40:44 GMT |
| conjectures2.sql | 0.7 kb | Fri, 23 Sep 2016 15:36:19 GMT |
| createtables.properties | 0.1 kb | Wed, 21 Sep 2016 12:44:31 GMT |
| createtables2.properties | 0.1 kb | Wed, 21 Sep 2016 12:43:10 GMT |
| importConjHistory.properties | 0.5 kb | Fri, 23 Sep 2016 15:37:37 GMT |
| importConjectures.properties | 0.8 kb | Fri, 23 Sep 2016 10:41:50 GMT |
| lookupConjByVerse.properties | 0.5 kb | Wed, 21 Sep 2016 09:45:00 GMT |
| replace_FM_Sources.command | 0.1 kb | Mon, 01 Jan 2018 15:38:58 GMT |
| showConjectures.properties | 0.8 kb | Wed, 21 Sep 2016 10:20:04 GMT |