![[ICO]](/icons/blank.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| database.pl | 2003-12-17 14:45 | 1.0K | |
| eval.pl | 2003-12-17 14:45 | 1.8K | |
| hAndS.pl | 2003-12-17 14:45 | 113 | |
| main.pl | 2003-12-17 14:45 | 8.3K | |
| modal.pl | 2003-12-17 14:45 | 9.8K | |
| modal_naive.pl | 2003-12-17 14:45 | 8.3K | |
| modal_rewrite.pl | 2003-12-17 14:45 | 2.9K | |
| modal_var_prop.pl | 2003-12-17 14:45 | 8.4K | |
| parse.pl | 2003-12-17 14:45 | 4.1K | |
| parse_tancs.pl | 2003-12-17 14:45 | 2.9K | |
| read.pl | 2003-12-17 14:45 | 1.5K | |
| saved.pl | 2003-12-17 14:45 | 3.0K | |
| tancs.pl | 2003-12-17 14:45 | 170 | |
| testref.pl | 2003-12-17 14:45 | 13K | |
| tests.pl | 2003-12-17 14:45 | 3.1K | |