| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| translator-numbers-dictionary-Arabic.dict | 1853 | 2020-Jul-29 10:18 |
| translator-bibliography-dictionary-Arabic.dict | 958 | 2020-Aug-03 15:42 |
| translator-environment-dictionary-Arabic.dict | 420 | 2020-Aug-03 15:45 |
| translator-basic-dictionary-Arabic.dict | 3973 | 2022-Dec-11 20:00 |
| translator-theorem-dictionary-Arabic.dict | 3584 | 2022-Dec-16 17:21 |