Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 26 | ||
.gitignore | H A D | 25-Jul-2019 | 47 | |
build-state.hol | H A D | 25-Jul-2019 | 1.2 KiB | |
corecl.ML | H A D | 25-Jul-2019 | 125 | |
header.sml | H A D | 25-Jul-2019 | 180 | |
holfoot-full.ML | H A D | 25-Jul-2019 | 57 | |
holfoot-web.ML | H A D | 25-Jul-2019 | 52 | |
holfoot.ML | H A D | 25-Jul-2019 | 171 | |
holfoot_command_line.sml | H A D | 25-Jul-2019 | 11.1 KiB | |
Holmakefile | H A D | 25-Jul-2019 | 867 |