Name Last modified Size Description Parent Directory - .DS_Store 2020-11-20 13:46 6.0K Basidios/ 2024-03-02 15:14 - Ascos/ 2025-06-04 15:49 - Synthese.html 2025-08-15 16:20 75K