Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 16 | ||
document/ | H | 25-Jul-2019 | 3 | |
ex/ | H | 25-Jul-2019 | 18 | |
FOL.thy | H A D | 25-Jul-2019 | 16.3 KiB | |
fologic.ML | H A D | 25-Jul-2019 | 3.1 KiB | |
IFOL.thy | H A D | 30-Oct-2020 | 32.4 KiB | |
intprover.ML | H A D | 25-Jul-2019 | 3.6 KiB | |
ROOT | H A D | 30-Oct-2020 | 1 KiB | |
simpdata.ML | H A D | 25-Jul-2019 | 4.7 KiB |