Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 16 | ||
classical.ML | H A D | 25-Jul-2019 | 6.7 KiB | |
ex/ | H | 25-Jul-2019 | 12 | |
FOLP.thy | H A D | 25-Jul-2019 | 3.8 KiB | |
hypsubst.ML | H A D | 25-Jul-2019 | 3.3 KiB | |
IFOLP.thy | H A D | 30-Oct-2020 | 20.1 KiB | |
intprover.ML | H A D | 25-Jul-2019 | 2.8 KiB | |
ROOT | H A D | 25-Jul-2019 | 742 | |
simp.ML | H A D | 30-Oct-2020 | 22.1 KiB | |
simpdata.ML | H A D | 25-Jul-2019 | 2.8 KiB |