| 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 | 25-Jul-2019 | 1.8 KiB | |
| XML_Data.thy | H A D | 25-Jul-2019 | 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 | 25-Jul-2019 | 1.8 KiB | |
| XML_Data.thy | H A D | 25-Jul-2019 | 1.3 KiB |