Name | Date | Size | ||
---|---|---|---|---|
.. | 07-Jul-2020 | 9 | ||
folCanonScript.sml | H A D | 24-Aug-2019 | 28.2 KiB | |
folLangScript.sml | H A D | 18-Aug-2019 | 13.8 KiB | |
folModelsScript.sml | H A D | 15-Aug-2019 | 10.1 KiB | |
folPrenexScript.sml | H A D | 09-Apr-2020 | 19.7 KiB | |
folPropScript.sml | H A D | 15-Aug-2019 | 10.7 KiB | |
folSkolemScript.sml | H A D | 15-Aug-2019 | 32 KiB | |
README | H A D | 15-Aug-2019 | 283 |