| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| v4_2/ | 2020-07-24 14:52 | - | ||
| v1_4/ | 2018-05-14 21:57 | - | ||
| v1_3_27/ | 2018-05-14 21:54 | - | ||
| survey.txt | 2018-05-15 00:53 | 5.8K | ||
| sage/ | 2018-05-14 21:56 | - | ||
| goedel_1994_C.tgz | 2018-05-14 21:50 | 12M | ||
| goedel_1994_B.tgz | 2018-05-14 21:12 | 9.2M | ||
| goedel_1994.tgz | 2018-05-14 18:41 | 5.1M | ||
| goedel-darland-swi-p..> | 2018-06-02 20:33 | 40M | ||
| bookinfo.txt | 2018-05-15 00:53 | 3.3K | ||
| announce.txt | 2018-05-15 00:53 | 7.0K | ||