Index of /current_tree/proofs/isXML

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[TXT] 1.txt                   2021-01-05 18:05  199   
[TXT] 2.txt                   2021-01-05 18:05  942   
[DIR] files/                  2025-10-16 18:28    -   
[TXT] main.tex                2025-10-16 18:28  7.4K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443