Index of /current_tree/proofs/isXML

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] files/ 2021-01-05 17:53 - [TXT] 1.txt 2021-01-05 18:05 199 [TXT] 2.txt 2021-01-05 18:05 942 [TXT] main.tex 2021-04-19 21:30 7.3K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443