Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 16 | ||
ILL.thy | H A D | 25-Jul-2019 | 9 KiB | |
ILL_predlog.thy | H A D | 25-Jul-2019 | 3.1 KiB | |
LK/ | H | 25-Jul-2019 | 6 | |
LK.thy | H A D | 25-Jul-2019 | 10.5 KiB | |
LK0.thy | H A D | 30-Oct-2020 | 11.7 KiB | |
modal.ML | H A D | 25-Jul-2019 | 3.4 KiB | |
Modal0.thy | H A D | 25-Jul-2019 | 1.9 KiB | |
prover.ML | H A D | 25-Jul-2019 | 8.2 KiB | |
ROOT | H A D | 30-Oct-2020 | 1.4 KiB | |
S4.thy | H A D | 25-Jul-2019 | 5.6 KiB | |
S43.thy | H A D | 25-Jul-2019 | 11 KiB | |
Sequents.thy | H A D | 25-Jul-2019 | 5 KiB | |
simpdata.ML | H A D | 25-Jul-2019 | 3.7 KiB | |
T.thy | H A D | 25-Jul-2019 | 3.6 KiB | |
Washing.thy | H A D | 25-Jul-2019 | 1.4 KiB |