Index of /current_tree/proofs/isXML/files

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