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