| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 25-Jul-2019 | 20 | ||
| ToyList.thy | H A D | 25-Jul-2019 | 13.7 KiB | |
| ToyList1.txt | H A D | 25-Jul-2019 | 525 | |
| ToyList2.txt | H A D | 25-Jul-2019 | 358 | |
| ToyList_Test.thy | H A D | 25-Jul-2019 | 281 |
| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 25-Jul-2019 | 20 | ||
| ToyList.thy | H A D | 25-Jul-2019 | 13.7 KiB | |
| ToyList1.txt | H A D | 25-Jul-2019 | 525 | |
| ToyList2.txt | H A D | 25-Jul-2019 | 358 | |
| ToyList_Test.thy | H A D | 25-Jul-2019 | 281 |