Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 5 | ||
Hilbert_Classical.thy | H A D | 25-Jul-2019 | 6.1 KiB | |
Proof_Terms.thy | H A D | 30-Oct-2020 | 1.9 KiB | |
XML_Data.thy | H A D | 30-Oct-2020 | 1.3 KiB |
Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 5 | ||
Hilbert_Classical.thy | H A D | 25-Jul-2019 | 6.1 KiB | |
Proof_Terms.thy | H A D | 30-Oct-2020 | 1.9 KiB | |
XML_Data.thy | H A D | 30-Oct-2020 | 1.3 KiB |