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 |