| 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 |