Index of /current_tree/proofs/isXML/files

Icon  Name                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                 -   
[TXT] isXMLdigit_bug.c            2025-10-16 18:28  2.4K  
[TXT] isXMLdigit.c                2025-10-16 18:28  2.4K  
[   ] 1_bug.smt                   2025-10-16 18:28   16K  
[   ] 1.smt                       2025-10-16 18:28   16K  
[TXT] isXMLdigit_2.c              2021-01-05 17:53  2.9K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443