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 |