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